[Cfp-interest 3310] Re: ERANGE question

[Vincent Lefevre]

On 2024-10-09 14:59:24 +0300, Fred J. Tydeman wrote:
> If the round to nearest value is larger than DBL_MAX, but the round to zero
> is DBL_MAX, then yes to ERANGE and overflow.

If the round-to-nearest value is larger than DBL_MAX, then necessarily
the round-toward-zero value is DBL_MAX, except in case of exact infinity.

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)