<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);">
Example from Hubert of where this can matter if long double precision is higher:</div>
<div style="direction: ltr; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<pre style="background-color: rgb(248, 248, 248); margin: 8px 0px; padding: 8px 12px; border-width: 1px; border-style: solid; border-color: rgb(221, 221, 221); border-radius: 4px;"><div style="text-align: left; text-indent: 0px; white-space: pre-wrap; text-transform: none; font-family: Monaco, Menlo, Consolas, "Courier New", monospace; font-size: 12px; color: rgb(0, 0, 0);">#include <float.h>
#include <math.h>
#include <assert.h>
int main(void) {
assert(nexttoward(1., .25L * DBL_EPSILON + 1.) == 1. + DBL_EPSILON);
}</div></pre>
<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 style="padding: 3pt 0in 0in; border-width: 1pt medium medium; border-style: solid none none; border-color: rgb(181, 196, 223) currentcolor currentcolor;">
<div class="ms-outlook-mobile-reference-message skipProofing" style="text-align: left; font-family: Aptos; font-size: 12pt; color: black;">
<b>From: </b>cfp-interest <cfp-interest-bounces@oakapple.net> on behalf of RAJAN BHAKTA <rbhakta@us.ibm.com><br>
<b>Date: </b>Monday, May 11, 2026 at 1:16 PM<br>
<b>To: </b>cfp-interest@oakapple.net <cfp-interest@oakapple.net><br>
<b>Subject: </b>[EXTERNAL] [cfp-interest 3924] FW: [SC22WG14.36462] nexttoward wording does not establish exception to conversion required by nextafter<br>
<br>
</div>
</div>
<div dir="ltr" lang="en" id="pfptBannerlps1c6i" 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="pfptBannerlps1c6i" 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="pfptBannerlps1c6i" 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 External Sender</div>
<div id="pfptBannerlps1c6i" 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;">
This message came from outside your organization.</div>
</div>
<div id="pfptBannerlps1c6i" 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="pfptBannerlps1c6i" 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="pfptBannerlps1c6i" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">
<div class="pfptPrimaryButtonlps1c6i" style="direction: ltr; white-space: nowrap;">
</div>
<span style="background-color: rgb(208, 216, 220);">
<div id="pfptBannerlps1c6i" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">
<div class="pfptPrimaryButtonlps1c6i" style="direction: ltr; white-space: nowrap;">
</div>
<span style="background-color: rgb(208, 216, 220);">
<div id="pfptBannerlps1c6i" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">
<div class="pfptPrimaryButtonlps1c6i" style="direction: ltr; white-space: nowrap;">
</div>
<span style="background-color: rgb(208, 216, 220);">
<div id="pfptBannerlps1c6i" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">
<div class="pfptPrimaryButtonlps1c6i" style="white-space: nowrap;"></div>
<div id="pfptBannerlps1c6i" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">
<div class="pfptPrimaryButtonlps1c6i" 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-!-_FVP3geXk9bWls5zoTAUZhI-sZgMRMNdLQx1a2WszG-I2l-TwZqweVTk_XzXOHi529JloYQPo4snERPjc5NCJ7p7r5eU4Ek53_iN6y7HqIEHFwbzarJGvk2KGyLoBgrrwmAaA-kPA$" id="pfptBannerlps1c6i" data-outlook-id="5a721239-6145-4dbb-88c1-a410ce8e4095" 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>
</span></div>
</span></div>
</div>
</span></div>
<div style="line-height: 0; clear: both; height: 0px; display: block; font-size: 0.01px;">
</div>
</div>
<div class="ms-outlook-mobile-reference-message skipProofing" 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 class="ms-outlook-mobile-reference-message skipProofing" 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="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="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="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="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="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="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="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>
</span></div>
</span></div>
</span></div>
</span></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>
</div>
</body>
</html>