https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82318
--- Comment #6 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Do you have any reference to a proposal to that effect? The current wording in N2454 regarding this says "IEC 60559 requires operations with specified operand and result formats. Therefore, math functions that are bound to IEC 60559 operations (see table above) must remove any extra range and precision from arguments or results." - and glibc already implements that (on 32-bit x86, don't know the state for m68k) for the limited subset of library functions that are bound to such operatons, as well as dealing with the cases where excess range may be involved, as previously noted. But most functions are not bound to an IEEE operation and so are not covered by that requirement.