let c_float_of_str s = ConstFloat s