http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56399
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-02-19 17:50:16 UTC --- Your expectations are wrong then. Size and format of float is part of ABI, so can't be changed just because somebody has bad expectations, furthermore, for many uses IEEE 754 single format is sufficient, can be faster than double and is more compact, having float the same as double doesn't make much sense, if you need bigger than float precision/exponent range, just use double (similarly for long double if double isn't big enough, or __float128 if available, or mpfr).
