Routine for formatting a 32-bit floating point number as a string.