[Cfp-interest 2715] Re: definition of "floating types"

[Vivian Van Loan]

Rajan and I were discussing it in the chat during the meeting and came to a possible solution of "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.", 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).

 -V²L
________________________________
From: Cfp-interest <cfp-interest-bounces at oakapple.net> on behalf of Vincent Lefevre <vincent at vinc17.net>
Sent: Monday, January 30, 2023 12:10 PM
To: cfp-interest at ucbtest.org <cfp-interest at ucbtest.org>
Subject: [Cfp-interest 2654] definition of "floating types"

It seems that the definition of "floating types" is incorrect.

6.2.5p15 says: "The real floating and complex types are collectively
called the /floating types/."

If I understand correctly, as said like that with italics, there
cannot be other floating types. But 7.12p3 introduces float_t and
double_t as floating types. Ditto for H.2.1 and _FloatN, assuming
that "interchange floating types" are expected to be floating types.

--
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
_______________________________________________
Cfp-interest mailing list
Cfp-interest at oakapple.net
http://mailman.oakapple.net/mailman/listinfo/cfp-interest
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20230228/2a50782f/attachment.htm>