Submitter:Fred Tydeman
Submission Date: 2019-05-01
Document: WG14 N2379
Title:N2379: SD3#1 (DR 440): FP types being 60559
Reference Documents: N1730 N2323

Summary

SD3 item 1 (DR 440) against C2X: Floating-point types are 60559 (aka 754) formats.

It was decided that DR 440 would be fixed in C2X.

Possible Technical Corrigendum:

In §5.2.4.2.2, insert a new paragraph after paragraph 11:

Whether a type matches an IEC 60559 format (and perhaps, operations) is characterized by the implementation-defined values of FLT_IS_IEC_60559, DBL_IS_IEC_60559, and LDBL_IS_IEC_60559 (this does not imply conformance to Annex F):

    0 type does not match an IEC 60559 format
    1 type matches an IEC 60559 format
    2 type matches an IEC 60559 format and operations

Add to §5.2.4.2.2 paragraph 18 (Example 2)


FLT_IS_IEC_60559 2
DBL_IS_IEC_60559 2

Existing practice

None known. But, it is easy to add these macros.