https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390
--- Comment #20 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- I think the statement in 6.3.1.8 is only observing a consequence of specifications elsewhere, and stating that this excess range and precision does not affect semantic types; it does not, by itself, result in any expression having excess range and precision for a given value of FLT_EVAL_METHOD, because it's the specification elsewhere that has those results.
