Comments on the IEEE-SA draft P1788/D9.5
Happy New Year,
I have some comments, mostly editorial, on the P1788/D9.5 draft:
The hyphen in "floating-point formats" is missing in:
* the abstract, line 2;
* page 2 line 5 (§1.1 Scope).
"a" -> "an" before "IEEE 754" in:
* page 5 line 9 (Definition 3.2.2);
* page 5 line 11 (Definition 3.2.3);
* page 53 line 25 (§12.10.1 Note 1);
* page 62 line 10 (§12.12.8);
* page 62 line 14 (§12.12.8);
* page 68 line 9 (§14.2);
* page 68 line 38 (§14.3).
Page 15 line 18, "a" -> "an" before "arithmetic operation".
In §3.2 Definitions, some definitions are not marked "(AF)" or "(S)".
Is there a reason, or is "(AF)" just missing?
Page 5, Definition 3.2.9 of "bound" is unclear for the empty interval
and non-standard intervals in flavors like Kaucher. I think that it
would be sufficient to say that xinf <= xsup and that some intervals
(Empty in the set-based flavor and possibly non-standard intervals in
other flavors) do not have bounds.
Page 9, Definition 3.2.55 of "roundoff unit" does not make much sense
with some number formats, e.g. double-double. This definition isn't
really necessary as the term "roundoff unit" is used only twice in
the standard, both in examples (one already being a floating-point
context, and the other one could be slightly modified).
Page 64, §12.13.5:
An implementation that provides 754-conforming type for the
^ missing "a"?
parent format F should provide [...]
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - 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)