[Cfp-interest 2978] Fwd: [SC22WG14.24484] DIS comment about correctly rounded result

[Jim Thomas]

The forwarded message was sent to WG14. It address action item:

>     Jim: Update CFP2973 to add a comma before the "or" in the updated note.

…

- Jim Thomas

> Begin forwarded message:
> 
> From: Jim Thomas <jaswthomas at sbcglobal.net>
> Subject: [SC22WG14.24484] [Cfp-interest 2973] DIS comment about correctly rounded result
> Date: January 11, 2024 at 4:25:39 PM PST
> To: SC22 WG14 <sc22wg14 at open-std.org>
> 
> 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).
> 
> C typically uses “correctly rounded” to apply to a result, as in "the result shall be correctly rounded", but also sometimes to an operation, e.g. "conversions between decimal floating types and standard floating types with IEC 60559 formats are correctly rounded”, and in a few cases to an input to an operation, e.g. "all subject sequences of hexadecimal form are correctly rounded”, in the description of the strtod functions. We believe the meaning in context is clear, but it might be helpful for the definition in 3.10 to note the different applications of the term.
> 
> CFP suggests 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 (for CFP)
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20240111/8b605818/attachment.htm>