select printf('%.4f', double_6) as double_6 from nulls where double_6 = 100.0
100.0000
