(float 3)
(float +.5)
(float 1.e+2)
(float "1e-999")