module Float where

extern float "float_of_string" :: "Fz"

main = float "42.0"