<div dir="ltr"><div>2025/02/12: 8:00 AM PST</div><div class="gmail_quote gmail_quote_container"><div dir="ltr"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div>[Please submit proposed changes to these minutes to Jerome or to the group. Revision changes appear at the bottom.]</div><div><br></div><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div><p class="MsoNormal"><b>Attendees</b></p><p class="MsoNormal">    Jim Thomas, Rajan Bhakta, Jerome Coonen, Fred Tydeman, Joshua Cranmer, Damian McGuckin, David Hough, Mike Fairhurst, Tue Ly </p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal"><b>New agenda items</b></p><p class="MsoNormal">   <u style="color:rgb(0,104,218)"><a href="https://wiki.edg.com/pub/CFP/WebHome/CFP%20meeting%20agenda-20250212-update.pdf" target="_blank">https://wiki.edg.com/pub/CFP/WebHome/CFP%20meeting%20agenda-20250212-update.pdf</a></u></p><p class="MsoNormal"><b>    </b>SIGFPE</p><p class="MsoNormal"><b><br></b></p><p class="MsoNormal"><b>Previous meeting notes</b></p><p class="MsoNormal">    <a href="https://wiki.edg.com/pub/CFP/WebHome/CFP%20Meeting%20notes%202025_01_08%20--%20Rev.%202.pdf" target="_blank">https://wiki.edg.com/pub/CFP/WebHome/CFP%20Meeting%20notes%202025_01_08%20--%20Rev.%202.pdf</a></p><p class="MsoNormal"><br></p><p class="MsoNormal"><b>Study group logistics</b></p><p class="MsoNormal">    Next meeting: 12 March 2025, 8:00 AM PST</p><p class="MsoNormal">    ISO Zoom teleconference</p><p class="MsoNormal">     Please notify the group if this time slot does not work.</p></div><div><p class="MsoNormal">     Jim: David has been fighting DDOS attacks on the servers he provides to support CFP.</p><p class="MsoNormal"><br></p><p class="MsoNormal"></p><p class="MsoNormal"><b>C documents</b></p><p class="MsoNormal">    There is a new C2Y draft 3435 Jan 2025. <a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3435.pdf" target="_blank">https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3435.pdf</a></p><p class="MsoNormal">    C23 has been published ISO/IEC 9899, available for purchase. <a href="https://www.iso.org/standard/82075.html" target="_blank">https://www.iso.org/standard/82075.html</a></p><p class="MsoNormal">    </p><p class="MsoNormal"><b>IEEE 754 liaison</b></p><p class="MsoNormal">    Jerome & Damian: Approved improvements to 5 definitions. Rejected a proposal re. signs of NaNs and their ordering. Discussed removal of "outdated" items -- extended formats in the mix. Jim Demmel is leading an effort to look at complex arithmetic.</p><p class="MsoNormal">Tue: Google is working on complex functions corresponding to the math functions in math.h. </p><p class="MsoNormal">Jim, et al.: Although the imaginary type is in C23, Tue reports that the discussion to remove the imaginary type from the C2Y working draft has caused them to back off on their implementation. So the circle completes, because lack of implementation is the reason for WG14 to remove imaginary from the standard.</p><p class="MsoNormal"> </p><p class="MsoNormal"><b>C++ liaison</b></p><p class="MsoNormal">    Joshua: Meeting in progress in Austria. FP on agenda maybe tomorrow...</p><p class="MsoNormal"> </p><p class="MsoNormal"><b>WG14</b></p><p class="MsoNormal">    Next meeting is Feb 24-28.</p><p class="MsoNormal">    Several items in the discussion that  follows refer to topics Rajan and/or Fred will bring to the meeting – <b>due to Rajan by Wed. 19 Feb.</b></p><p class="MsoNormal"> </p></div><div><p class="MsoNormal"><b>C23 integration</b></p><p class="MsoNormal">    None.</p><p class="MsoNormal"><br></p><p class="MsoNormal"><u></u></p><p class="MsoNormal"><b>Carry-over action items from last meeting </b></p><p class="MsoNormal"><b>    </b>David: Will draft reply for Rajan to take to WG14 re midpoint and interpolation. The idea is that, generally, it is not a good idea to put extensive library support into languages (e.g. LAPACK). Midpoint and interpolation are complicated, especially in decimal, and are beyond what anyone would ever put in hardware.</p><p class="MsoNormal"><br></p>    Damian: Split doc into 3 documents: complex.h intro, cproj, and editorial suggestions</div><div>       <span style="background-color:rgb(255,255,255)"> Damian: cproj -- have worked with Jerome on proposal to be put on wiki; editorial suggestions -- working with Jerome; complex.h intro -- coming. </span></div><div>        Jim: Will keep as a carry-over item.<br><p class="MsoNormal"><br></p></div><div><p class="MsoNormal"><b>Action items from last meeting </b></p><p class="MsoNormal">    Damian: Prepare cproj proposal for WG14. Done.</p><p class="MsoNormal"><br></p>    Jim: Submit [Cfp-interest 3337] related to complex literals to WG14. Done</div><div><br>    N3452 2025/01/12 Thomas, Proposal for C2Y - Complex literals warning. Done.</div><div><br>    All: Continue study of the imaginary I macro and i suffix issues, noting that the I macro may be removed from C. Ongoing.</div><div><p class="MsoNormal">      </p></div><div><p class="MsoNormal"><b>TS-4 and TS-5 revisions<u></u><u></u></b></p><p class="MsoNormal">    Jim: Have been published, completing the task of IEEE 754 bindings.</p><p class="MsoNormal">    Rajan: There have been comments from WG14. Would like to haver feedback by 22 Feb.</p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal"><b>Discussion of issues</b></p><p class="MsoNormal">   Comment on CFP proposal</p>        [cfp-interest 3369] Fwd: [<a href="http://SC22WG14.28504" target="_blank">SC22WG14.28504</a>] 2024/12/01 Thomas, Proposal for C2Y - Improved treatment of error conditions for functions that round result to narrow type Jim Thomas</div><div>        Jim, Jerome: Feedback about unclear wording inspired a re-do of the document with more explicit language. That language raises the spectre of unsigned infinities in fsub.</div><div>        Group: Consensus is to step lightly on unsigned infinities, saying as little as possible to cover the case of INF-INF. Jim proposes that we tweak all 5 items to achieve more parallel structure.</div><div>        Rajan: Want something for the WG14 meeting. (New action item entered.)</div><div><br>    cproj cleanup</div><div>        Covered in carry-over action items.</div><div><br>    Errors in draft 3435<br>        [<a href="https://mailman.oakapple.net/pipermail/cfp-interest/2025-January/003375.html" target="_blank">Cfp-interest 3360</a>] Errors in N3435 changes Jim Thomas</div><div>        [<a href="https://mailman.oakapple.net/pipermail/cfp-interest/2025-January/003376.html" target="_blank">Cfp-interest 3361</a>] Re: [SC22WG14.28105] Errors in N3435 changes Joseph Myers</div><div>        Jim: The changes suggested in the 33360 mail were not made correctly. Mail 3361 requests changes to fix the fiexes. Joseph fixed the typeface problem.</div><div>        Rajan: Worked with WG144 to get the other issue, the parenthetical comment removal, complete.</div><div>        Jim: Finally done. </div><div><br></div><div>    CFP proposal updates<br>        [<a href="https://mailman.oakapple.net/pipermail/cfp-interest/2025-January/003377.html" target="_blank">Cfp-interest 3362</a>] CFP proposal updates Jim Thomas</div><div>        Jim: Have added comment for future directions regarding the obsolescent feature. Already submitted. </div><div>        Fred: Would it help to note that the obsolescent range error has been replaced by a domain error?</div><div>        Jim: (After further discussion and wordsmithing.) We will leave as is and consider Fred's suggestion.</div><div><br></div><div>       <span style="background-color:rgb(255,255,255)"> Jim: There is an inconsistency in the last two bullets, namely, the extra “, the difference". The fix is to remove the extra text.</span></div><div>        Fred: Looks good.<br><br></div><div>    Reply to WG14 re midpoint and interpolation</div><div>        Covered above.<br><br></div><div>    Imaginary I macro and i suffix issues<br>        [<a href="http://mailman.oakapple.net/pipermail/cfp-interest/2025-February/003381.html" target="_blank">cfp-interest 3366</a>] complex suffix specification Jim Thomas</div><div>        Jim: Suggest paragraph break to split suffix from next para. Also, fix wording to avoid specifying a type the implementation does not provide.</div><div>        Group: An existential crisis seems to arise because, on a system supporting decimal floating types (DF), there "can't" be complex decimal floating types because the standard d<span style="background-color:rgb(255,255,255)">oesn't define any. The suffix DFI is suggestive, but actually doesn’t designate a type at all since C doesn’t specify decimal complex types</span>. <br></div><div>        Rajan: Suggest paper to expose this to everyone. In a system without decimal, DFI suffix specifies a type that is not supported, so it must lead to a diagnostic. The fact that i<span style="background-color:rgb(255,255,255)">t COULDN'T be support is irrelevant. Whether there is a constraint violation if decimal is supported might depend on interpretation.</span></div><div>        Jim: (Following some wordsmithing.) Let's leave this for further discussion.</div><div><br>        [<a href="https://mailman.oakapple.net/pipermail/cfp-interest/2025-February/003383.html" target="_blank">cfp-interest 3368</a>] removing imaginary I Jim Thomas</div><div>        Jim: Suggest 1.0fI for implementations that want the I macro.</div><div>        Damian & Jim: As a note vs. footnote.</div><div>        Jim: The I macro is used in cproj, but we are about to replace that with a much improved version that omits the I macro. Let's leave cproj as is, pending that proposal.</div><div>        Rajan: Will mention all these issus in the WG`14 meeting.<br><br></div><div>    SIGFPE </div><div>         <a href="https://wiki.edg.com/pub/CFP/WebHome/n3378c.htm" target="_blank">https://wiki.edg.com/pub/CFP/WebHome/n3378c.htm</a></div><div>         Fred: Joseph Meyers prefers to avoid implementation-defined in options 3 and 4. He prefers option 1, which is my choice. There is no indication of breaking anything.</div><div>        Tue: Functions receiving signaling NaNs might raise SIGFPE.</div><div>        Fred: Standard C does not allow SIGFPE -- you should be raising Invalid Operation in 60559.</div><div>        Rajan: So we are settling on option 1.</div><div>        Fred & Tue: Prefer option 1.</div><div>        Jim: Note this is at the edge of CFP. It's being presented as a C issue, not a CFP issue.</div><div><br></div><div>    CFP accomplishment and future<br>        [<a href="http://mailman.oakapple.net/pipermail/cfp-interest/2025-February/003389.html" target="_blank">cfp-interest 3374</a>] CFP accomplishment and future Jim Thomas<br>        <a href="http://mailman.oakapple.net/pipermail/cfp-interest/2025-February/003392.html" target="_blank">[cfp-interest 3377</a>] Re: CFP accomplishment and future Damian McGuckin<br>        [<a href="http://mailman.oakapple.net/pipermail/cfp-interest/2025-February/003393.html" target="_blank">cfp-interest 3378</a>] Re: CFP accomplishment and future Damian McGuckin<br>        [<a href="http://mailman.oakapple.net/pipermail/cfp-interest/2025-February/003394.html" target="_blank">cfp-interest 3379</a>] Re: CFP accomplishment and future Mike Cowlishaw<p class="MsoNormal">        Jim: C23, TS5, and TS6 cover the goal of CFP. Started in 2009. C23 was the first major revision, so finally chance to get the bindings.</p><p class="MsoNormal">        Rajan: Great chance to report to CFP. For future, do we want to address fixed point.</p><p class="MsoNormal">        Tue: Google has started fixed point, matching the fixed point TS.</p><p class="MsoNormal">        Rajan: IBM also has a fixed point implementation. </p><p class="MsoNormal">        Joshua: Fixed point types and other fixed point TS issues are tied to embedded implementations.</p><p class="MsoNormal">        Group: Fixed point falls outside the floating domain. This merits a new working group with a new charter.</p><p class="MsoNormal">      <span style="background-color:rgb(255,255,255)">  Jim: Mike Cowlishaw has suggested considering moving some C floating-point features to annexes or TSes or removing them altogether. There is sentiment for similar changes in 754.</span></p><p class="MsoNormal"><br></p><p class="MsoNormal"><b>Other issues:</b></p></div><div>    Correctly rounded math functions<br><p class="MsoNormal">        [<a href="https://mailman.oakapple.net/pipermail/cfp-interest/2025-February/003387.html" target="_blank">cfp-interest 3372</a>] Accuracy of Mathematical Functions Paul Zimmermann</p><p class="MsoNormal"><br></p></div><div><div><p class="MsoNormal"><b>Adjournment</b></p><p class="MsoNormal">    10:08 AM PST</p><p class="MsoNormal">-----------------------------------------------</p><p class="MsoNormal"><br></p><p class="MsoNormal"><b>Action items to be carried over:</b></p><p class="MsoNormal">    Damian: complex.h intro, cproj, editorial suggestions.</p><p class="MsoNormal"><br></p><p class="MsoNormal"><b>New action items:<u></u><u></u></b></p><p class="MsoNormal">    David: Draft statement on minpoint and interpolation.</p><p class="MsoNormal"></p><p class="MsoNormal"><br></p><p class="MsoNormal">    Jim: Review the comments on TS 5.</p><p class="MsoNormal"><br></p><p class="MsoNormal">    Jerome: Rework the proposal for functions rounding to a narrow type. Finish by 19 Feb for Rajan to take to WG14 meeting.</p><p class="MsoNormal"><br></p><p class="MsoNormal">    Jim: Write a paper proposing editorial changes for imaginary suffix, emphasizing editorial changes vs. technical changes.</p></div><div><p class="MsoNormal"></p></div></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><p class="MsoNormal"><br>    Fred: Prepare SIGFPE proposal based on WG14 feedback and CFP discussion.</p><p class="MsoNormal"><br></p></div><div><b>Discussion issues to be carried over:</b></div><div><p class="MsoNormal">    None.<br></p><br></div><div>Respectfully submitted.</div><div><br></div><div dir="ltr">-Jerome Coonen<div> 650.996.4738</div><div> <a href="mailto:jcoonen@gmail.com" target="_blank">jcoonen@gmail.com</a></div></div></div></div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div>
</div></div>
</div></div>
</div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div>
</div></div>