Fix for the gui_to_float() for when an integer is given.
This is now converted to a float.
Authored by: bugman 2011-08-02
Parent: [r14064]
Child: [r14066]
