[cfp-interest 3482] Re: Range error conditions for atan2 and atan2pi

[Damian McGuckin]

On Thu, 29 May 2025, Jim Thomas wrote:

> Importantly, the ?is too close? wording in 7.12 is intentionally vague, 
> leaving the implementation much flexibility to determine where range 
> errors occur. The specification must apply to implementations with 
> varying accuracy and rounding methods, and with or without subnormals. 
> Annex F is less flexible about ?underflow? and ?overflow? floating-point 
> exceptions.

My next question is about 7.12.12.3 'nextafter'. I wondered whether we 
should be be using the intentionally vague wording of 7.12 of 'too close 
to zero' there as well instead of 'subnormal'.  Because of the strictness 
of Annex F, we obviously use 'subnormal' there when referring to that 
condition for 'nextafter'

Thanks - Damian