http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56399
--- Comment #5 from johnfoxrep at yahoo dot com 2013-02-19 18:08:54 UTC --- I think float should be a thing of the past as the CPU should be able to process double as fast as float today. Using double by default would prevent hard to find bugs. There could be a compiler option to treat float as double.
