Hi Alejandro,

On 2024-08-08 10:07:35 +0200, Alejandro Colomar wrote:

On Thu, Aug 08, 2024 at 04:56:36AM GMT, Vincent Lefevre wrote:

quoted

For zero, one can also say "If x is ±0" as in the IEEE 754 standard.
The IEEE 754 standard also uses "zero" in the sense "±0" (but it
never uses "0" in this sense when there may be an ambiguity, knowing
that in practice, "0" has the same meaning as "+0"). In a condition,
when it says something like "x = 0", this means that x is either +0
or -0 because these values compare equal to each other.

Hmmm, I see.  Thanks!  I think "If x is ±0" is the clearest way to say
it.  I'm not sure if that glyph is available everywhere, though.  How
about "If x is 0 or -0"?

Since ± is in latin1, I suppose that the glyph is available
everywhere. However, some English speakers might still use
ASCII-based locales. I'm going to send a new patch with
"If x is +0 or -0" (it is better to give the + sign explicitly,
and this is also nicer for symmetry).

-- 
Vincent Lefèvre [off-list ref] - 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)