<div dir="ltr"><div>2025/10/29: 8:00 AM PDT/:00 PM UTC</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 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 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 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>[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, Damian McGuckin, David Hough, Joshua Cranmer, Fred Tydeman, Tue Ly</p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal"><b>Updated agenda plus new items</b></p><p class="MsoNormal"> <a href="https://wiki.edg.com/pub/CFP/WebHome/CFP%20meeting%20agenda-20251112-agenda-update.pdf" target="_blank">https://wiki.edg.com/pub/CFP/WebHome/CFP%20meeting%20agenda-20251112-agenda-update.pdf</a> – These minutes should be read alongside the agenda, with its many reference links.</p><p class="MsoNormal"> Jim: Has an added item for last 15 minutes.</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/n3735.pdf" target="_blank">https://wiki.edg.com/pub/CFP/WebHome/n3735.pdf</a> 2025/10/29 Meeting notes</p><p class="MsoNormal"><br></p><p class="MsoNormal"><b>Study group logistics</b></p><p class="MsoNormal"> Next meeting: 7 January 2026, 8:00 AM PST/4:00 PM UTC</p><p class="MsoNormal"> ISO Zoom teleconference</p><p class="MsoNormal"> Please notify the group if this time slot does not work.</p><p class="MsoNormal"><br></p></div><div><p class="MsoNormal"></p><p class="MsoNormal"><b>C documents</b></p><p class="MsoNormal"> The latest C2Y draft is N3685 Sept. 2025 <a href="https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3685.pdf" target="_blank">https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3685.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"> Damian: Still discussing language of arithmetic and interchange formats. No offline chat about complex and imaginary yet.</p><p class="MsoNormal"> </p><p class="MsoNormal"><b>C++ liaison</b></p><p class="MsoNormal"> Joshua:Meetings happened last week. A question is coming to CFP on use of cr_ prefix for C++ functions returning correctly rounded results. The committee prefers adopting C type rules for std::complex heterogeneous operations. Resolving fast-math is hard; consensus was to focus on specifying floating types that would opt-out of fast-math rather than trying to specify anything about fast-math. The committee is researching new floating types (and expression evaluation) to guarantee reproducible results across diverse platforms.</p><p class="MsoNormal"><br></p><p class="MsoNormal"><b>WG14 update</b></p><p class="MsoNormal"> Rajan: Next meetings 2-6 Feb 2026.</p>
<p class="MsoNormal"> </p><p class="MsoNormal"><b>TS-4 and TS-5 revisions</b></p><p class="MsoNormal"> None.</p></div><div><p class="MsoNormal"><br></p><p class="MsoNormal"><b>News</b></p><p class="MsoNormal"> David: 754-1984 40th anniversary meeting for what was called KCS at the (distant) time happened without any of Kahan, Coonen, or Stone able to attend. Prof. dialed in to the meeting, with comments on the standard and his trusty students who contributed over the years. Coonen mailed in his intended historical remarks.</p><p class="MsoNormal"> Jerome: Videos of the Intel 8087 Milestone plaque unveiling in Haifa, Israel have become available. I will coordinate with Leonard Tsai about sending them to the 754 group, and then the CFP group.</p><p class="MsoNormal"><br></p><p class="MsoNormal"><u></u></p><p class="MsoNormal"><b>Carryover action items from last meeting </b></p><p class="MsoNormal"> Jerome: Follow up on cfp3618 to see whether snan issues apply to more than signbit, and what to do about it.</p><p class="MsoNormal"> Done, discussion.</p><p class="MsoNormal"><br></p><p class="MsoNormal"><b>Action items from last meeting </b></p></div><div> Jim: Amend the nextafterd proposal with language about the breaking-implementations issue, share with CFP, and then submit if there's no objection.</div><div> Done</div><div><br></div><div> Jerome & Jim: Submit proposal about error handling and errno.</div><div> Done</div><div><br></div> Damian: Update paper on Annex F, based on long (converging) discussion of the several alternatives, plus the specific discussions of atan2, frexp, ilogb, hypot, compoundn, etc.</div><div> Done, discussion.<br><br></div><div dir="ltr"><br></div><div dir="ltr"> Group: Review Damian's coming Annex F changes and study pow and others which weren't covered in the meeting, for lack of time.</div><div> Done<br><br></div><div dir="ltr"><br></div><div dir="ltr"> Damian: Clean up 3.14 "correctly rounded result" and research any other usage of that or similar language.<br> Done, closed.</div><div dir="ltr"><br></div><div dir="ltr"> Jim: Draft change to references to rounding precision mode. Circulate to new ad hoc rounding precision mode subcommittee: David, Damian, Jerome, Jim.<div> Done, but too late for discussion so carry over. Action.</div></div><div dir="ltr"><div><br></div><div><b>Discussion of issues</b></div><div><b> </b>sNaN issues, signbit</div><div> Jerome: Reviews the report email, looking for cases like signbit needed extra care. The handling of NaNs is covered in F.2.2 and F.3, but a pass over the many NaN references in the draft suggests that Damian's added language is more helpful than redundant. We will make the final determination in Damian's proposal. The cases copysign and fabs seem adequately covered. </div><div> Jim: Further describes the balance between stating qualifiers like "quiet and signaling HaNs" vs. forcing the reader to infer the behavior from arguably subtle specification.This is input for Damian's item F.3. And Jim notes that the Reader's Guide to signaling NaNs was helpful for reviewing the paper.</div><div><br></div><div> Conflicting definitions of double_t</div><div> Jim: Joseph Meyers has brought up a subtle issue where different sections of the standard suggest that double_t ought to be double in one case long double in another. Given Joseph's care in these matters, this merit s a close look. Action, with Jerome a belated volunteer.<br><br></div><div> Sign of zero from fromfp functions</div><div> Jim: Joseph Meyers writes that the sign of the zero result is not clear. When the functions were changed to have a floating-point result, the sign of zero results naturally became an issue. </div><div> Damian & Jerome: Action.<br><br></div><div> "result" vs. "result value" vs. "return value"</div><div> Jim: This and the next two items involve direct contact with the editor. We will consider them as taken together in a note to JeanHeyd. Tney are too inconsequential to warrant full proposals. First, the expression "function value" is not best, leading to the three choices in the title of this item. "Result" is deemed to be the best choice.</div><div> Damian: Some of the instances of "function value" come up in my changes, where the fix is part of the larger change.</div><div> Rajan: Takes action to report to JeanHeyd, including the next two items.<br><br></div><div> SNAN macro location change</div><div> Jim: Reminds group of moving the macro from math.h to float.h in a prior draft.</div><div> Fred: Glibc still has relevant macros in math.h, but appropriately guarded by version macros. The float.h is the newer spelling.</div><div> Jim: The move wasn't recorded in the Annex M changes. Append to Rajan's action.</div><div><br> strtodN issue<br></div><div> Jim: Fred raised the issue of the discussion of conversion in the standard without mention of the type converted to. "Convert to a number" should be "convert to a number of type..." or something similar.</div><div> Rajan: Suggests an explanatory sentence because the change is more elaborate. Appends to action.</div><div> Rajan & Jerome: Suggest changing the wording of cfp3688 slightly to "...of the return type of the function..."</div><div><br></div><div> Rounding precision mode, Annex F floating-point environment</div><div> Jim: Deferred to next meeting.</div><div><br></div><div> Annex F special cases</div><div> Damian: Reviews many changes, picking up where last meeting ended. Highlightd that the NOTE has been split into NOTE 1 and NOTE 2.</div><div> Jim: Need to change the sign character in "-y" in first item of atan2 and atan2pi to a hyphen.<br></div><div> Jim: Use "is equivalent to" for pow(+/-INF, n) rather than defining it in terms of a C expression, which is not the style of the draft.</div><div> Jim: Will need to look at F.10.79, the trunc functions, with regard to rounding. There is some subtlety.</div><div> Fred: In canonicalize, use "is" not "must".</div><div> Jim: A nice goal is to promote this to a proposal after the next meeting in January. </div><div> Damian: Action.<br><br></div><div> Rounding modes, terminology</div><div> Jim: Damian has pointed out many inconsistencies in language of "rounding direction" and "rounding direction mode" and even "rounding mode".</div><div> Damian: Elaborates and points out that Fred touched on this 20+ years ago. It's an issue.</div><div> Jim: Presents language based on 60559. Takes action to initiate online discussion to tighten up this usage.</div><div><br></div><div> Jim's bonus added agenda item on CFP futures</div><div> Jim: What is CFP's purpose.</div><div> Rajan: WG14 consensus is for CFP to handle everything related to floating point. Includes maintenance and editorial revision.</div><div> Jim: It's related to what is the purpose of the C standard. (a) Reference for implementers and programmers. (b) Seeks to have well-defined terms and is readable by readers with basic English knowledge. These are two extremes.</div><div> Rajan: Agrees with (a). Says that WG14 does not adhere to (b).</div><div> Jim: Recalls P. J. Plauger's famous test when changes were suggested: "Whose ox is gored?"</div><div> Jerome: Another prospect facing CFP is expansion into entire technologies like the expansive correctly-rounded library function project and bit-reproducible results across divers hardware and OS platforms.</div><div> Jim: Assigns a group action to ponder CFP in 2026.</div><div><br></div></div><div dir="ltr"><div><b>Other issues</b></div></div><div dir="ltr"><div> Ly (submitted in Chat sidebar): We wish to expand complex.h to support all of the functions in math.h.</div><div><br></div><div> Jerome (added in proof): We agree that the hyphen character represents the minus sign in fixed-width code font. There is some question about the proper character in ordinary text.</div><div><br></div></div><div dir="ltr"><div><b>Adjournment</b></div><div><p class="MsoNormal"> 10:05 AM PDT</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"> None</p><p class="MsoNormal"><br></p><p class="MsoNormal"><b>New action items<u></u></b></p><p class="MsoNormal"> Group: Review Jim's latest doc (to be released) on rounding precision mode and be prepared to review.</p><p class="MsoNormal"><br></p><p class="MsoNormal"> Jim & Jerome: Investigate Joseph Meyers's issue of the conflicting requirements for double_t to be either double or long double.</p><p class="MsoNormal"><br></p><p class="MsoNormal"> Damian & Jerome: Look at +/-0 in fromfp, and also the case of a value rounding to zero.</p><p class="MsoNormal"><br></p><p class="MsoNormal"> Jim & Rajan: Send email to JeanHeyd about the editorial change of "function value to "result". Include mention of the move of the SNAN macro, which was not recorded in Annex M. Third, recommend the wording in cfp3688 wording with "...of the return type..."</p><p class="MsoNormal"><br></p><p class="MsoNormal"> Fred: Send Rajan wording for the previous action, re. the moving of the SNAN macros.</p><p class="MsoNormal"><br></p><p class="MsoNormal"> Damian: Remember to update the date in new drafts of the working documents. (Public reminder in the holiday spirit.)</p><p class="MsoNormal"><br></p><p class="MsoNormal"> Jim & group: Review trunc and canonicalize in Damian's Annex F update to come.</p><p class="MsoNormal"><br></p><p class="MsoNormal"> Group: Review the rounding direction language, with Jim to provide an email to kick things off.</p><p class="MsoNormal"><br></p><p class="MsoNormal"> Group: Think about where CFP is headed.</p><p class="MsoNormal"><b><br></b></p><p class="MsoNormal"><b>Discussion issues to be carried over</b></p></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div><div> Rounding precision mode, Annex F floating-point environment</div></div><div><div dir="ltr"><div><br></div><div> Editorial issues F.2.2<br><br></div><div> Editorial issues F.3, etc.<br><br></div><div> Editorial issues F.10.1<br><br></div><div> More Annex F special cases<br></div></div><div dir="ltr"><div><br></div></div></div><div><b>Signoff</b></div><div> Respectfully submitted. Great to see all the usual suspects gathered for the final meeting of 2025.</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>
</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>
</div></div>
</div></div>
</div></div>
</div>
</div></div>