[Cfp-interest 2082] Re: Underflow

[Vincent Lefevre]

On 2021-07-29 08:09:21 -0600, Fred J. Tydeman wrote:
> On Wed, 28 Jul 2021 11:40:56 +0200 Vincent Lefevre wrote:
> >
> >but if it is known to
> >be an exact zero, it shall not underflow.
> 
> Should also say that exact minimum normals are not underflow.

No, this may be too difficult for functions without correct rounding.

The case of zero is different, because the standard already specifies
cases with an exact zero result, e.g. acos(1). Or perhaps the absence
of underflow should be specified explicitly in all these cases?

-- 
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)