<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);">
Hi,</div>
<div style="direction: ltr; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
How to handle issues for C (WG14) are given at <a href="https://www.open-std.org/jtc1/sc22/wg14/issues/" data-outlook-id="759afd65-fc64-488f-8f7b-748256838dc1">
https://www.open-std.org/jtc1/sc22/wg14/issues/</a>. Essentially you need to email the issue to c-issues@open-std.org.</div>
<div style="direction: ltr; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
You can email me or CFP directly (cc’d) as well for questions.</div>
<div style="direction: ltr; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
For this particular issue, I believe the value for the SNaN is the payload and that is unchanged. The operation still raises “invalid” as expected from any operation (including conversion) other than the very small set that explicitly do not do so (ex. The
issignaling macro).</div>
<div style="direction: ltr; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
If you think it would be better to have something explicit there, we can propose a footnote or something that can make the exception explicit.</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></span></p>
<p class="xxmsonormal" style="margin: 0in;"><span style="color: rgb(33, 33, 33);"><b>CFP</b></span></p>
<p class="MsoNormal"> </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>Jan Schultke <janschultke@googlemail.com><br>
<b>Date: </b>Thursday, April 16, 2026 at 7:31 AM<br>
<b>To: </b>RAJAN BHAKTA <rbhakta@us.ibm.com><br>
<b>Subject: </b>[EXTERNAL] Re: convertFrom and signaling NaNs<br>
<br>
</div>
<div dir="ltr" lang="en" id="pfptBanner4cx2nia" 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-width: 4px !important; border-top-style: solid !important; border-top-color: rgb(144, 164, 174) !important;">
<div id="pfptBanner4cx2nia" 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="pfptBanner4cx2nia" 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="pfptBanner4cx2nia" 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="pfptBanner4cx2nia" 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="pfptBanner4cx2nia" 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="pfptBanner4cx2nia" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">
<div class="pfptPrimaryButton4cx2nia" style="direction: ltr; white-space: nowrap;">
</div>
<span style="background-color: rgb(208, 216, 220);">
<div id="pfptBanner4cx2nia" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">
<div class="pfptPrimaryButton4cx2nia" style="direction: ltr; white-space: nowrap;">
</div>
<span style="background-color: rgb(208, 216, 220);">
<div id="pfptBanner4cx2nia" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">
<div class="pfptPrimaryButton4cx2nia" style="direction: ltr; white-space: nowrap;">
</div>
<span style="background-color: rgb(208, 216, 220);">
<div id="pfptBanner4cx2nia" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">
<div class="pfptPrimaryButton4cx2nia" style="direction: ltr; white-space: nowrap;">
</div>
<span style="background-color: rgb(208, 216, 220);">
<div id="pfptBanner4cx2nia" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">
<div class="pfptPrimaryButton4cx2nia" style="direction: ltr; white-space: nowrap;">
</div>
<span style="background-color: rgb(208, 216, 220);">
<div id="pfptBanner4cx2nia" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">
<div class="pfptPrimaryButton4cx2nia" style="direction: ltr; white-space: nowrap;">
</div>
<span style="background-color: rgb(208, 216, 220);">
<div id="pfptBanner4cx2nia" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">
<div class="pfptPrimaryButton4cx2nia" style="direction: ltr; white-space: nowrap;">
</div>
<span style="background-color: rgb(208, 216, 220);">
<div id="pfptBanner4cx2nia" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">
<div class="pfptPrimaryButton4cx2nia" style="direction: ltr; white-space: nowrap;">
</div>
<span style="background-color: rgb(208, 216, 220);">
<div id="pfptBanner4cx2nia" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">
<div class="pfptPrimaryButton4cx2nia" style="direction: ltr; white-space: nowrap;">
</div>
<span style="background-color: rgb(208, 216, 220);">
<div id="pfptBanner4cx2nia" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">
<div class="pfptPrimaryButton4cx2nia" style="direction: ltr; white-space: nowrap;">
</div>
<span style="background-color: rgb(208, 216, 220);">
<div id="pfptBanner4cx2nia" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">
<div class="pfptPrimaryButton4cx2nia" style="white-space: nowrap;"></div>
<div id="pfptBanner4cx2nia" style="background-color: rgb(208, 216, 220); max-width: none; max-height: none; display: inline-block;">
<div class="pfptPrimaryButton4cx2nia" 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-!-XFVHHo80mE1PZhTJSWuWOGxGLDai057LMMBCjNHTQsFU8IpJD61furVABBcztm5GCl4VyzZ6hLveoVKde0X-_p3Wl5q7pMoajfHQJ0K0l4sCpA6XUZxWsA4_A$" id="pfptBanner4cx2nia" data-outlook-id="2a9e78d5-ed28-4e9e-b412-e1123c942d27" 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>
</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="gmail_default" style="direction: ltr; font-family: arial, helvetica, sans-serif; color: rgb(0, 0, 0);">
Looks like I got the email title wrong; it should be convertFormat.<br>
<br>
Anyway, I've also opened a corresponding C++ issue here: <a href="https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_cplusplus_CWG_issues_887&d=DwMFaQ&c=BSDicqBQBDjDI9RkVyTcHQ&r=XTIN0AwPKAf2bIKNxlzdeqggAytE5h-JEusWpx9MXwc&m=pV23177dXmVMqVGCSGKn9nlIQN9n67aM69Vy2nFAmdLmMiN_Wp7S4nr2mhNWE_iB&s=1KoCv0e_i9m78mOZN9Ry5CQgjKoLcvWcX4CLxrirvs8&e=" data-outlook-id="e229f206-394b-43e8-868d-9ee73216143f">
https://github.com/cplusplus/CWG/issues/887</a> The C wording is relatively similar.</div>
<div class="ms-outlook-mobile-reference-message skipProofing" style="direction: ltr;">
<br>
</div>
<div class="gmail_attr" style="direction: ltr;">On Thu, 16 Apr 2026 at 07:21, Jan Schultke <<a href="mailto:janschultke@googlemail.com" data-outlook-id="03b41d3e-7814-4c76-b462-68cb409f5206">janschultke@googlemail.com</a>> wrote:</div>
<blockquote style="margin: 0px 0px 0px 0.8ex; padding-left: 1ex; border-left-width: 1px; border-left-style: solid; border-left-color: rgb(204, 204, 204);">
<div class="gmail_default" style="direction: ltr; font-family: arial, helvetica, sans-serif; color: rgb(0, 0, 0);">
Hi,</div>
<div class="gmail_default" style="direction: ltr; font-family: arial, helvetica, sans-serif; color: rgb(0, 0, 0);">
<br>
</div>
<div class="gmail_default" style="direction: ltr; font-family: arial, helvetica, sans-serif; color: rgb(0, 0, 0);">
There is something that struck me as odd in the C standard. I'm not a WG14 member, so this is my attempt at reporting the defect; please let me know if there's a better channel for doing so.</div>
<ul style="direction: ltr;">
<li style="font-family: arial, helvetica, sans-serif; color: rgb(0, 0, 0); direction: ltr;">
§6.3.2.5 "Real floating types" specifies that the result is unchanged if possible.</li><li style="font-family: arial, helvetica, sans-serif; color: rgb(0, 0, 0); direction: ltr;">
§F.3 "Operations" specifies that all conversions between ISO/IEC 60559 floating types are a "convertFormat" operation.</li></ul>
<div class="gmail_default" style="direction: ltr; font-family: arial, helvetica, sans-serif; color: rgb(0, 0, 0);">
This seems like a contradiction because signaling NaN is not preserved by convertFormat, so the result is not the unchanged input value. Furthermore, implementations typically implement a conversion from float to double as CVTSS2SD, which does not preserve
signaling NaNs, so it could be that the majority of implementations do not comply with §6.3.2.5 irrespective of Annex F compliance.</div>
<div class="gmail_default" style="direction: ltr; font-family: arial, helvetica, sans-serif; color: rgb(0, 0, 0);">
<br>
</div>
<div class="gmail_default" style="direction: ltr; font-family: arial, helvetica, sans-serif; color: rgb(0, 0, 0);">
<br>
</div>
<div class="gmail_default" style="direction: ltr; font-family: arial, helvetica, sans-serif; color: rgb(0, 0, 0);">
Jan</div>
</blockquote>
</div>
</body>
</html>