[Cfp-interest 2973] DIS comment about correctly rounded result

[Jim Thomas]

The N3191 DIS ballot comments include

**-033
 
3.10
 
Ed
Note 1 to entry
The meaning of this note to entry is unclear. What
is the intended usage exactly? It seems contradictory to state that "correctly rounded" should not be followed by "result".

The subclause in question is:

3.10

1 correctly rounded result

representation in the result format that is nearest in value, subject to the current rounding mode, to what the result would be given unlimited range and precision

2 Note 1 to entry: In this document, when the words "correctly rounded" are not immediately followed by "result", this is the intended usage.

3 Note 2 to entry: IEC 60559 or implementation-defined rules apply for extreme magnitude results if the result format contains infinity.


In email [SC22WG14.24404], Joseph Myers writes:

**-033: Disagree.  I don't think the wording is confusing - but maybe there should be an attempt to rephrase so that "correctly rounded"
rather than "correctly rounded result" is the defined term (in which case CFP should advise on what the wording should be).

I suggest changing Note 1 to:

2 Note 1 to entry: In this document, the words "correctly rounded” may apply to an operation that produces a correctly rounded result or to input for such an operation.


- Jim Thomas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20240105/f76ec136/attachment.htm>