[cfp-interest 3551] Re: C23 possible defect: output bounds of imprecise math functions

[Paul Zimmermann]

> Correctly rounded functions, e.g. sqrt(x) per Annex F, won’t return out-of-range values. C reserves cr_ prefixed names for correctly rounded math functions.

however correct rounding is not always compatible with range constraints,
see the example in section 6.4 from https://dl.acm.org/doi/pdf/10.1145/3747840.

Maybe the CFP group might decide what to do in that case.

Paul