Added float_to_str() function.