http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51364
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-11-30 18:57:38 UTC --- n2732 says they should be defined in <float.h> http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2732.pdf