[cfp-interest 3403] Re: nexttoward

[Vincent Lefevre]

On 2025-03-04 09:12:36 +0100, Paul Zimmermann wrote:
> but there is no underflow requirement in 754-2008 nor in 754-2019
> (where the only related functions are nextUp and nextDown).

Indeed, the overflow/underflow/inexact exceptions for nextafter
in 754-1985 were nonsense since there is no rounding (note that
the "as if the exponent range were unbounded" cannot be used
here, as nextafter would not return the expected result).

-- 
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 / Pascaline project (LIP, ENS-Lyon)