[cfp-interest 3488] Re: frexp() in Annex F

[Vincent Lefevre]

On 2025-05-29 11:57:44 +1000, Damian McGuckin wrote:
> On Wed, 28 May 2025, Vincent Lefevre wrote:
> > I think that both
> > 
> >  frexp (NaN, p) returns with an unspecified value in the object
> >  pointed to by p.
> > 
> > and
> > 
> >  frexp (NaN, p) returns a NaN with an unspecified value in the object
> >  pointed to by p.
> 
> Hmmmm. Possibly replace both it and the item prior with
> 
> 	frexp (x, p) returns x with an unspecified value in the object
> 	pointed to by p when x is a NaN or |x| = OO
> 
> where OO is my bad attempt at infinity. Should 'when' be a 'for'?

"returns x" is incorrect for NaN because it might not be the same NaN.
And instead of "|x| = ∞", you could say "x is ±∞" (this form is used
in F.10.4.4 for hypot).

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