
<html>


<head>


<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


</head>


<body>


<div style="direction: ltr; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">


New item for discussion in our May meeting from WG14.</div>


<div style="direction: ltr; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">


<br>


</div>


<div id="ms-outlook-mobile-signature">


<p class="xxmsonormal" style="margin: 0in;"><span style="color: rgb(33, 33, 33);">Regards,<br>


<br>


<b>Rajan Bhakta</b><br>


</span> </p>


</div>


<div id="mail-editor-reference-message-container">


<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr;">


</div>


<div class="ms-outlook-mobile-reference-message skipProofing" style="text-align: left; padding: 3pt 0in 0in; border-width: 1pt medium medium; border-style: solid none none; border-color: rgb(181, 196, 223) currentcolor currentcolor; font-family: Aptos; font-size: 12pt; color: black;">


<b>From: </b>owner-sc22wg14@open-std.org <owner-sc22wg14@open-std.org> on behalf of Hubert Tong <hubert.reinterpretcast@gmail.com><br>


<b>Date: </b>Monday, May 11, 2026 at 12:00 AM<br>


<b>To: </b>ISO C <sc22wg14@open-std.org><br>


<b>Subject: </b>[EXTERNAL] [SC22WG14.36462] nexttoward wording does not establish exception to conversion required by nextafter<br>


<br>


</div>


<div dir="ltr" lang="en" id="pfptBannerssgcya6" style="visibility: visible !important; opacity: 1 !important; max-width: none !important; max-height: none !important; display: block !important; text-align: left !important; margin: 0px 0px 10px !important; padding: 7px 16px 8px !important; border-radius: 4px !important; min-width: 200px !important; background-color: rgb(208, 216, 220); border-top: 4px solid rgb(144, 164, 174) !important;">


<div id="pfptBannerssgcya6" style="visibility: visible !important; opacity: 1 !important; background-color: rgb(208, 216, 220); max-height: none !important; float: left !important; display: block !important; margin: 1px 0px !important; max-width: 600px !important;">


<div id="pfptBannerssgcya6" style="opacity: 1 !important; max-width: none !important; max-height: none !important; display: block !important; visibility: visible !important; background-color: rgb(208, 216, 220); color: rgb(0, 0, 0); font-family: Arial, sans-serif !important; font-weight: bold !important; font-size: 14px !important; line-height: 1.29 !important;">


This Message Is From an Untrusted Sender</div>


<div id="pfptBannerssgcya6" style="font-weight: normal; opacity: 1 !important; max-width: none !important; max-height: none !important; display: block !important; visibility: visible !important; background-color: rgb(208, 216, 220); color: rgb(0, 0, 0); font-family: Arial, sans-serif !important; font-size: 12px !important; line-height: 1.5 !important; margin-top: 2px !important;">


You have not previously corresponded with this sender.</div>


</div>


<div id="pfptBannerssgcya6" style="visibility: visible !important; opacity: 1 !important; background-color: rgb(208, 216, 220); max-width: none !important; max-height: none !important; float: right !important; display: block !important; margin-left: 16px !important; margin-top: 1px !important; text-align: right !important; width: fit-content !important; font-size: 12px !important;">


<span style="background-color: rgb(208, 216, 220);">


<div id="pfptBannerssgcya6" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">


<div style="margin-top: 3px; margin-bottom: 3px; margin-left: 16px; padding: 7.5px 16px; border-width: 1px; border-style: solid; border-color: rgb(102, 102, 102); border-radius: 2px; width: fit-content; display: inline-block;">


<span style="background-color: rgb(208, 216, 220);">


<div id="pfptBannerssgcya6" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">


<div class="pfptPrimaryButtonssgcya6" style="direction: ltr; white-space: nowrap;">


</div>


<span style="background-color: rgb(208, 216, 220);">


<div id="pfptBannerssgcya6" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">


<div class="pfptPrimaryButtonssgcya6" style="white-space: nowrap;"></div>


<div id="pfptBannerssgcya6" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">


<div class="pfptPrimaryButtonssgcya6" style="white-space: nowrap;"><span style="font-family: Arial, sans-serif; font-size: 14px; color: rgb(0, 0, 0);"><a href="https://us-phishalarm-ewt.proofpoint.com/EWT/v1/AdhS1Rd-!9FFbMlZykg_b1dV5LuSAsUyqSyQdTuWgR0hE6aeGAPkmcTmjPeILUPfX-iERf5LfadSlCU8-iPC_mGhVr2yfJqEOxeA$" id="pfptBannerssgcya6" data-outlook-id="f5d54399-dfc4-4870-b4ae-1dca2dcf6bdf" style="text-decoration: none; display: inline-block; background-color: rgb(208, 216, 220); max-width: none; max-height: none;">Report Suspicious</a></span></div>


</div>


</div>


</span></div>


</span></div>


</div>


</span></div>


<div style="line-height: 0; height: 0px; display: block; font-size: 0.01px;"> </div>


</div>


<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr;">


Hi all,</div>


<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr;">


<br>


</div>


<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr;">


The description of nexttoward has:</div>


<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr;">


The nexttoward functions are equivalent to the nextafter functions except that the second parameter has type long double or _Decimal128 and the functions return the numerical value resulting from converting y to the return type of the function if x equals y.</div>


<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr;">


<br>


</div>


<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr;">


and the description of nextafter has:</div>


<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr;">


The nextafter functions determine the next representable value, in the return type of the function,<br>


after x in the direction of y, where x and y are first converted to the return type of the function. The<br>


nextafter functions return the numerical value of y if x equals y.</div>


<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr;">


<br>


</div>


<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr;">


The nexttoward wording establishes that its second parameter has a different type than that of nextafter, but it does not establish that the second parameter is not "first converted to the return type of the function".</div>


<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr;">


<br>


</div>


<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr;">


Perhaps the description of nextafter should say "where each of x and y is first converted to the type of the respective parameter"?</div>


<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr;">


<br>


</div>


<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr;">


Thanks,</div>


<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr;">


<br>


</div>


<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr;">


<br>


</div>


<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr;">


Hubert Tong</div>


</div>


</body>


</html>