<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><br></div><div><br></div><div><br></div><div><div><blockquote type="cite"><div>On Feb 28, 2023, at 9:33 AM, Vivian Van Loan <vanloanm@outlook.com> wrote:</div><br class="Apple-interchange-newline"><div><meta charset="UTF-8"><div class="elementToProof" style="font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; background-color: rgb(255, 255, 255);">Rajan and I were discussing it in the chat during the meeting and came to a possible solution of "<span class="ContentPasted1" style="font-family: "Sans Serif"; font-size: 14px;">and for other values of FLT_EVAL_METHOD, they are otherwise implementation-defined floating types </span></div></div></blockquote><div><br></div>This seems to require the _t types to be defined to implementation-defined types. An implementation might define FLT_EVAL_METHOD to -1 because it sometimes evaluates float to double and sometimes to float; the implementation should be able to define float_t to float or double.</div><div><br></div><div><blockquote type="cite"><div><div class="elementToProof" style="font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; background-color: rgb(255, 255, 255);"><span class="ContentPasted1" style="font-family: "Sans Serif"; font-size: 14px;">capable of handling only extended real and NaN (if supported) values.</span>"</div></div></blockquote><div><br></div>The definition already requires float_t and double_t to be at least as wide as float and double. If “at least as wide as” is understood as implying “includes all the values of” the part about extended real and NaN isn’t needed. Extended real would need accompanying explanation.</div><div><br></div><div><div>If “at least as wide” is ambiguous here, we could say “the values of float are a subset of the values of float_t”, similar to 6.2.5 #12. H.11#6 needs attention in this regard too.</div><div><br></div><div>This doesn’t address the issue of whether they should be required to be real floating types, instead of just floating types. If not real floating types, their use would be too limited, e.g. they wouldn’t work in classification or comparison macros.</div><div><br></div><div>- Jim Thomas</div><div><blockquote type="cite"><div></div></blockquote></div><div><br></div></div><div><br><blockquote type="cite"><div><div class="elementToProof" style="font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; background-color: rgb(255, 255, 255);">, this allows hardware or other types that aren't defined within the standard or implementation fully to be used but excludes things like imaginary or complex types. The specific wording of "if supported" was to cover formats like 360 Hex which doesn't have NaN, and "extended real" was to include inf values (as IEEE-754 defines the extended real numbers as the reals plus infs).<br></div><div class="elementToProof" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;"><br></div><div id="Signature"><div><div class="ContentPasted0" style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; background-color: rgb(255, 255, 255);"> -V²L<br></div></div></div></div><div id="appendonsend" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"></div><hr tabindex="-1" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; display: inline-block; width: 988.8125px;"><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;"></span><div id="divRplyFwdMsg" dir="ltr" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><font face="Calibri, sans-serif" style="font-size: 11pt;"><b>From:</b><span class="Apple-converted-space"> </span>Cfp-interest <cfp-interest-bounces@oakapple.net> on behalf of Vincent Lefevre <vincent@vinc17.net><br><b>Sent:</b><span class="Apple-converted-space"> </span>Monday, January 30, 2023 12:10 PM<br><b>To:</b><span class="Apple-converted-space"> </span>cfp-interest@ucbtest.org <cfp-interest@ucbtest.org><br><b>Subject:</b><span class="Apple-converted-space"> </span>[Cfp-interest 2654] definition of "floating types"</font><div> </div></div><div class="BodyFragment" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><font size="2"><span style="font-size: 11pt;"><div class="PlainText">It seems that the definition of "floating types" is incorrect.<br><br>6.2.5p15 says: "The real floating and complex types are collectively<br>called the /floating types/."<br><br>If I understand correctly, as said like that with italics, there<br>cannot be other floating types. But 7.12p3 introduces float_t and<br>double_t as floating types. Ditto for H.2.1 and _FloatN, assuming<br>that "interchange floating types" are expected to be floating types.<br><br>--<span class="Apple-converted-space"> </span><br>Vincent Lefèvre <vincent@vinc17.net> - Web: <<a href="https://www.vinc17.net/">https://www.vinc17.net/</a>><br>100% accessible validated (X)HTML - Blog: <<a href="https://www.vinc17.net/blog/">https://www.vinc17.net/blog/</a>><br>Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)<br>_______________________________________________<br>Cfp-interest mailing list<br>Cfp-interest@oakapple.net<br><a href="http://mailman.oakapple.net/mailman/listinfo/cfp-interest">http://mailman.oakapple.net/mailman/listinfo/cfp-interest</a><br></div></span></font></div><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;">_______________________________________________</span><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;">Cfp-interest mailing list</span><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><a href="mailto:Cfp-interest@oakapple.net" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;">Cfp-interest@oakapple.net</a><br style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><a href="http://mailman.oakapple.net/mailman/listinfo/cfp-interest" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;">http://mailman.oakapple.net/mailman/listinfo/cfp-interest</a></div></blockquote></div><br></div></body></html>