Motion 54: Introductory staff - signed zeros in inf-sup definition
Subsection 12.5.2 "Inf-sup and mid-rad types" of the draft 8.1 says
<<<<<<
The inf-sup type derived from a given number format F (the type inf-sup F, e.g., "inf-sup binary64")
is the bare interval type T comprising all intervals
whose endpoints are in F
, together with Empty.
>>>>>>
Format F might contaons symbols +0 and -0 instead of real 0 (as all 754 formats).
Then real endpoint can't be in F.
More precises wording:
<<<<<<
The inf-sup type derived from a given number format F (the type inf-sup F, e.g., "inf-sup binary64")
is the bare interval type T comprising all intervals
whose endpoints are in F (with +-0 replaced by 0)
, together with Empty.
>>>>>>
This wording is already in SVN repository.
I just want to broadcast.
-Dima