<!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">
<style type="text/css">
del { font-weight:bold;background-color:#ffa0a0 }
ins { font-weight:bold;background-color:#a0ffa0 }
blockquote {
display: block;
font-family: "Times New Roman";
background-color:lightgray;
margin-top: 1em;
margin-bottom: 1em;
margin-left: 40px;
margin-right: 40px
}
</style>
<title>Nzzzz: DRs 432+467</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 Nzzzz<br>
<b>Reference Documents:</b> <a href=
"http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1677.htm">N1677,</a>
<a href=
"http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1870.htm">N1870,</a>
<a href=
"http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1871.htm">N1871,</a>
<a href=
"http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2092.htm">N2092</a></p>
<p>Summary</p>
<p>This is the combined fixes for DRs 432 and 467 against
C2X.</p>
<p>Suggested Technical Corrigendum:</p>
<p>In §5.2.4.2.2 #2 after the definition of the floating
point model parameters, add:</p>
<blockquote>
<ins>For each floating-point type: <dfn>b</dfn>, <dfn>p</dfn>,
<dfn>e<sub>min</sub></dfn>, and <dfn>e<sub>max</sub></dfn>, are
fixed constants</ins>.
</blockquote>
<p>The first sentance in §5.2.4.2.2 #4</p>
<blockquote>
In addition to normalized floating-point numbers (f<sub>1</sub>
> 0 if x!=0), floating types may be able to contain other
kinds of floating-point numbers, such as <dfn>subnormal
floating-point numbers</dfn> ....
</blockquote>
<p>should be changed to:</p>
<blockquote>
<del>In addition to</del> <ins>Floating types shall be able to
represent</ins> <dfn>normalized floating-point</dfn> numbers
(<dfn>f<sub>1</sub></dfn> > 0 <del>; 0 if x!=0</del>
<ins>and all possible <dfn>f<sub>k</sub></dfn> digits result in
values representable in the type<sup>footnote</sup></ins>)
<ins>and (positive or unsigned) zero (all
<dfn>f<sub>k</sub></dfn> = 0). In addition,</ins> floating
types may be able to contain other kinds of floating-point
numbers, such as <ins>negative zero,</ins> <dfn>subnormal
floating-point numbers</dfn> ....
</blockquote>
<blockquote>
<p><ins><sup>footnote</sup>: Some implementations may have
types with numeric values which are not covered by this
model.</ins></p>
</blockquote>
<p>In §5.2.4.2.2 #13, first item, change the phrase</p>
<blockquote>
maximum representable finite floating-point number, [ math
formula ]
</blockquote>
<p>to</p>
<blockquote>
maximum representable finite floating-point number<ins>; if
that number is normalized, its value is</ins> [ math formula ],
</blockquote>
<p>In §5.2.4.2.2#13, first item, change the phrase</p>
<blockquote>
the difference between 1 and the least value greater than 1
</blockquote>
<p>to</p>
<blockquote>
the difference between 1 and the least <ins>normalized</ins>
value greater than 1
</blockquote>
</body>
</html>