<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta name="generator" content=
"HTML Tidy for OS/2 (vers 1 September 2005), see www.w3.org">
<title>Nwwww: SD3#1 (DR 440): FP types being 60559
formats</title>
</head>
<body>
<p><br>
<!-- Who are the authors... -->
<b>Submitter:</b>Fred Tydeman<br>
<!-- What is the date of submission. yyyy-mm-dd -->
<b>Submission Date:</b> 2018-10-??<br>
<b>Document:</b> WG14 Nwwww<br>
<b>Reference Documents:</b> <a href=
"http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1730.htm">N1730</a></p>
<p>Summary</p>
<p>SD3 item 1 (DR 440) against C2X: Floating-point types are
60559 (aka 754) formats.</p>
<p>It was decided that DR 440 would be fixed in C2X.</p>
<p>Possible Technical Corrigendum:</p>
<ol>
<li>
<p>In §5.2.4.2.2, insert a new paragraph after paragraph
11:</p>
<blockquote>
Whether a type matches an IEC 60559 format is characterized
by the implementation-defined values of
<b>FLT_IS_IEC_60559</b>, <b>DBL_IS_IEC_60559</b>, and
<b>LDBL_IS_IEC_60559</b>:
<pre>
0 type does not match an IEC 60559 format
1 type's values and operations are those of an IEC 60559 basic,
interchange or extended format
</pre>
</blockquote>
<p>Add to §5.2.4.2.2 paragraph 17 (Example 2)</p>
<blockquote>
<pre>
<b>FLT_IS_IEC_60559</b> 1
<b>DBL_IS_IEC_60559</b> 1
</pre>
</blockquote>
</li>
<li>
<p>In §5.2.4.2.2, insert a new paragraph after paragraph
11:</p>
<blockquote>
Whether a type matches an IEC 60559 format is characterized
by the implementation-defined values of
<b>FLT_IS_IEC_60559</b>, <b>DBL_IS_IEC_60559</b>, and
<b>LDBL_IS_IEC_60559</b>:
<pre>
0 type does not match an IEC 60559 format
n type's values and operations are those of an IEC 60559 basic,
interchange or extended format; n is the number of bits (not
counting padding bits) in the format
</pre>
</blockquote>
<p>Add to §5.2.4.2.2 paragraph 17 (Example 2)</p>
<blockquote>
<pre>
<b>FLT_IS_IEC_60559</b> 32
<b>DBL_IS_IEC_60559</b> 64
</pre>
</blockquote>
</li>
</ol>
<p>Existing practice</p>
<p>None known. But, it is easy to add these macros.</p>
</body>
</html>