let
c_float_of_str s =
ConstFloat
s