ahref:
I did this the moment I saw it krup. Many thanks for the github link though. I find it more reliable than your site
Someone suggested that I place my mods on GitHub rather than a private server. I was reluctant because I didn't know how to use Git. But then I figured "everyone else uses it - so I may as well learn how too" and did it!
If you're interested, the code for the mod is in "Preferences.java" (the checkbox part) and "Compiler.java" (the conditional compiler options string part).
All in all it's only about 5 or 6 extra lines of code!
The checkbox selection is saved in "preferences.txt" as
build.floating_point=true/false
Hope you find the mod useful.
-- Roger