[Cfp-interest] Normalized numbers

[Fred J. Tydeman]

On Tue, 28 Aug 2018 13:13:45 -0500 Rajan Bhakta wrote:
>
>    Fred: Give reference to the C DR for normalized double double meaning 
>bits can be changed.

C defect (change) request 432 has:

Proposed Change

The first sentence in 5.2.4.2.2 #3 should be changed to:

  Floating types shall be able to represent normalized
  floating-point numbers (f1 > 0) and (positive or unsigned) zero. In
  addition, floating types may be able to contain other kinds of
  floating-point numbers, such as negative zero and subnormal ...


C defect (change) request 467 has:

Proposed Change

In §5.2.4.2.2#1 after the definition of the floating point model
parameters, add:

  For each floating-point type: b, emin, emax, p are fixed constants. 

In §5.2.4.2.2#3 change:

  In addition to normalized floating-point numbers ( f1 > 0 if x != 0), 

to:

  In addition to normalized floating-point numbers ( f1 > 0 if x != 0),
  all possible fk digits result in values representable in the
  type [footnote].

  footnote: Some implementations may have types with numeric values
  which are not covered by this model.

In 5.2.4.2.2#12, first item change the phrase

  maximum representable finite floating-point number, [ math formula ] 

to

  maximum representable finite floating-point number; if that value is
  normalized, its value is [ math formula ],

In 5.2.4.2.2#13, first item change the phrase

  the difference between 1 and the least value greater than 1 

to

  the difference between 1 and the least normalized value greater than 1 



---
Fred J. Tydeman        Tydeman Consulting
tydeman at tybor.com      Testing, numerics, programming
+1 (702) 608-6093      Vice-chair of PL22.11 (ANSI "C")
Sample C99+FPCE tests: http://www.tybor.com
Savers sleep well, investors eat well, spenders work forever.