<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">The forwarded message was sent to WG14. It address action item:<div><br></div><div><blockquote type="cite"><p class="MsoNormal" style="margin: 0in; font-family: "Times New Roman", serif;"><span style="font-size: 11pt; font-family: Calibri, sans-serif;"> Jim: Update CFP2973 to add a comma before the "or" in the updated note.<o:p></o:p></span><u1:p></u1:p></p></blockquote><div><br></div><div>…</div><div><br></div><div>- Jim Thomas</div><div><br><blockquote type="cite"><div>Begin forwarded message:</div><br class="Apple-interchange-newline"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);"><b>From: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;">Jim Thomas <jaswthomas@sbcglobal.net><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);"><b>Subject: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;"><b>[SC22WG14.24484] [Cfp-interest 2973] DIS comment about correctly rounded result</b><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);"><b>Date: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;">January 11, 2024 at 4:25:39 PM PST<br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);"><b>To: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;">SC22 WG14 <sc22wg14@open-std.org><br></span></div><br><div><meta http-equiv="content-type" content="text/html; charset=utf-8"><div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><meta http-equiv="content-type" content="text/html; charset=utf-8"><div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">The N3191 DIS ballot comments include<div><br></div><div><table class="MsoTableGrid" border="1" cellspacing="0" cellpadding="0" width="654" style="font-variant-caps: normal; width: 490.25pt; border-collapse: collapse; border: medium;"><tbody><tr><td width="53" valign="top" style="width: 40.05pt; border: 1pt solid windowtext; padding: 0in 5.4pt;"><div style="margin: 0in; font-size: 12pt; font-family: Calibri, sans-serif;"><span style="font-size: 9pt; font-family: Arial, sans-serif;">**-</span><span style="font-size: 9pt; font-family: Arial, sans-serif; color: red;">033</span><span style="font-size: 9pt; font-family: Arial, sans-serif;"><o:p></o:p></span></div></td><td width="51" valign="top" style="width: 37.95pt; border-width: 1pt 1pt 1pt medium; border-style: solid solid solid none; border-color: windowtext windowtext windowtext currentcolor; border-image: none; padding: 0in 5.4pt;"><p class="MsoNormal" style="margin: 0in; font-size: 12pt; font-family: Calibri, sans-serif;"><span style="font-size: 9pt; font-family: Arial, sans-serif;"> </span></p></td><td width="64" valign="top" style="width: 48.2pt; border-width: 1pt 1pt 1pt medium; border-style: solid solid solid none; border-color: windowtext windowtext windowtext currentcolor; border-image: none; padding: 0in 5.4pt;"><div style="margin: 0in; font-size: 12pt; font-family: Calibri, sans-serif;"><span style="font-size: 9pt; font-family: Arial, sans-serif;">3.10<o:p></o:p></span></div></td><td width="74" valign="top" style="width: 55.75pt; border-width: 1pt 1pt 1pt medium; border-style: solid solid solid none; border-color: windowtext windowtext windowtext currentcolor; border-image: none; padding: 0in 5.4pt;"><p class="MsoNormal" style="margin: 0in; font-size: 12pt; font-family: Calibri, sans-serif;"><span style="font-size: 9pt; font-family: Arial, sans-serif;"> </span></p></td><td width="63" valign="top" style="width: 47.3pt; border-width: 1pt 1pt 1pt medium; border-style: solid solid solid none; border-color: windowtext windowtext windowtext currentcolor; border-image: none; padding: 0in 5.4pt;"><div style="margin: 0in; font-size: 12pt; font-family: Calibri, sans-serif;"><span style="font-size: 9pt; font-family: Arial, sans-serif;">Ed<o:p></o:p></span></div></td><td width="132" valign="top" style="width: 99pt; border-width: 1pt 1pt 1pt medium; border-style: solid solid solid none; border-color: windowtext windowtext windowtext currentcolor; border-image: none; padding: 0in 5.4pt;"><div style="margin: 0in; font-size: 12pt; font-family: Calibri, sans-serif;"><span style="font-size: 9pt; font-family: Arial, sans-serif; color: rgb(167, 167, 167);">Note 1 to entry</span><span style="font-size: 9pt; font-family: Arial, sans-serif;"><o:p></o:p></span></div></td><td width="108" valign="top" style="width: 80.9pt; border-width: 1pt 1pt 1pt medium; border-style: solid solid solid none; border-color: windowtext windowtext windowtext currentcolor; border-image: none; padding: 0in 5.4pt;"><div style="margin: 0in; font-size: 12pt; font-family: Calibri, sans-serif;"><span style="font-size: 9pt; font-family: Arial, sans-serif;">The meaning of this note to entry is unclear. What<o:p></o:p></span></div><div style="margin: 0in; font-size: 12pt; font-family: Calibri, sans-serif;"><span style="font-size: 9pt; font-family: Arial, sans-serif;">is the intended usage exactly? It seems contradictory to state that "correctly rounded" should not be followed by "result".<o:p></o:p></span></div></td></tr></tbody></table></div><div><br></div><div>The subclause in question is:</div><div><br></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;"><div><div><b>3.10</b></div></div><div><b><br></b></div><div><div>1 <b>correctly rounded result</b></div></div><div><b><br></b></div><div><div>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</div></div><div><br></div><div><div>2 <b>Note 1 to entry</b>: In this document, when the words "correctly rounded" are not immediately followed by "result", this is the intended usage.</div></div><div><br></div><div><div>3 <b>Note 2 to entry</b>: IEC 60559 or implementation-defined rules apply for extreme magnitude results if the result format contains infinity.</div></div></blockquote><div><br></div><div><br></div><div>In email [SC22WG14.24404], Joseph Myers writes:</div><div><br></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;"><div><div>**-033: Disagree. I don't think the wording is confusing - but maybe there should be an attempt to rephrase so that "correctly rounded"</div></div><div><div>rather than "correctly rounded result" is the defined term (in which case CFP should advise on what the wording should be).</div></div></blockquote><div><br></div><div>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 <b>strtod</b> 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.</div><div><br></div><div>CFP suggests changing Note 1 to:</div><div><br></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;"><div>2 <b>Note 1 to entry</b>: 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.</div><div><br></div></blockquote><br><div>- Jim Thomas (for CFP)</div></div><br></div></div></blockquote></div><br></div></body></html>