<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof">
Rajan and I were discussing it in the chat during the meeting and came to a possible solution of "<span style="font-family:'Sans Serif';font-size:14px" class="ContentPasted1">and for other values of FLT_EVAL_METHOD, they are otherwise implementation-defined
floating types capable of handling only extended real and NaN (if supported) values.</span>", 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">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div id="Signature">
<div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="ContentPasted0">
-V²L<br>
</div>
</div>
</div>
</div>
<div id="appendonsend"></div>
<hr style="display:inline-block;width:98%" tabindex="-1">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>From:</b> Cfp-interest <cfp-interest-bounces@oakapple.net> on behalf of Vincent Lefevre <vincent@vinc17.net><br>
<b>Sent:</b> Monday, January 30, 2023 12:10 PM<br>
<b>To:</b> cfp-interest@ucbtest.org <cfp-interest@ucbtest.org><br>
<b>Subject:</b> [Cfp-interest 2654] definition of "floating types"</font>
<div> </div>
</div>
<div class="BodyFragment"><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>
-- <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>
</body>
</html>