fix #73 string_of_float -> string_of_number