http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51795
--- Comment #12 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-01-27 13:17:22 UTC --- I see. Before asking: 26.5/4 says that "all descriptions of calculations in this subclause use mathematical real numbers". Thus should we use floats?!?
