Created the gui.misc.float_to_gui() function for converting floats to GUI strings.
Authored by: bugman 2011-06-29
Parent: [r13301]
Child: [r13303]
