[Cfp-interest] Part 3 suggested 6.2.5 [10a]

[Jim Thomas]

At the Feb CFP meeting, Rajan noted that the proposed 6.2.5 [10a] in Part 3 needs work to clarify what is required and what is optional. The following rewrite is intended to do that. Please review.

-Jim

[10a] IEC 60559 specifies interchange formats, identified by their width, which can be used for the exchange of floating-point data between implementations. Tables 1 and 2 give parameters for the IEC 60559 interchange formats.

Table 1 goes here

Table 2 goes here

Types designated


_FloatN, where N is 16, 32, 64, or ≥ 128 and a multiple of 32

_DecimalN, where N ≥ 32 and a multiple of 32

support the corresponding IEC 60559 interchange formats and are collectively called the data-interchange types. Each data-interchange type has the IEC 60559 interchange format corresponding to its width and radix. Data-interchange types that are supported by all applicable floating-point operations are collectively called the interchange floating types. An implementation that defines __STDC_IEC_60559_BFP__ shall provide _Float32 and _Float64 as interchange floating types equivalent to float and double, shall provide _Float16 as a data-interchange type, and may provide _Float16 as an interchange floating type. If the implementation’s long double type has an IEC 60559 interchange format of width N, then the implementation shall provide the type _FloatN as an interchange floating type. An implementation may provide any of the other data-interchange types and may provide any of them as interchange floating types. 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20130219/c9f6804b/attachment.html