From 7f410f175d29d3b7951812c100a02b68d1d3010e Mon Sep 17 00:00:00 2001 From: nsz Date: Thu, 21 Jul 2011 18:23:15 +0200 Subject: [PATCH] manual fix of 5.2.4.2.2 --- n1256.html | 105 +++++++++++++++++++++++++---------------------------- 1 file changed, 50 insertions(+), 55 deletions(-) diff --git a/n1256.html b/n1256.html index 9939d19..20d4e73 100644 --- a/n1256.html +++ b/n1256.html @@ -811,18 +811,18 @@ WG14/N1256 Committee Draft -- Septermber 7, 2007

3.18

- ??? x???
+ [^ x ^]
ceiling of x: the least integer greater than or equal to x

- EXAMPLE ???2.4??? is 3, ???-2.4??? is -2. + EXAMPLE [^2.4^] is 3, [^-2.4^] is -2.

3.19

- ??? x???
+ [_ x _]
floor of x: the greatest integer less than or equal to x

- EXAMPLE ???2.4??? is 2, ???-2.4??? is -3. + EXAMPLE [_2.4_] is 2, [_-2.4_] is -3.

4. Conformance

@@ -1571,19 +1571,18 @@ WG14/N1256 Committee Draft -- Septermber 7, 2007 b base or radix of exponent representation (an integer > 1) e exponent (an integer between a minimum emin and a maximum emax ) p precision (the number of base-b digits in the significand) - fk nonnegative integers less than b (the significand digits) + fk nonnegative integers less than b (the significand digits) A floating-point number (x) is defined by the following model: 
                     p
-        x = sb e   (Sum) f k b-k ,
-                   k=1
-                                  emin <= e <= emax
+ x = s be (Sum) fk b-k , emin <= e <= emax + k=1

- In addition to normalized floating-point numbers ( f 1 > 0 if x != 0), floating types may be + In addition to normalized floating-point numbers ( f1 > 0 if x != 0), floating types may be able to contain other kinds of floating-point numbers, such as subnormal floating-point - numbers (x != 0, e = emin , f 1 = 0) and unnormalized floating-point numbers (x != 0, - e > emin , f 1 = 0), and values that are not floating-point numbers, such as infinities and + numbers (x != 0, e = emin , f1 = 0) and unnormalized floating-point numbers (x != 0, + e > emin , f1 = 0), and values that are not floating-point numbers, such as infinities and NaNs. A NaN is an encoding signifying Not-a-Number. A quiet NaN propagates through almost every arithmetic operation without raising a floating-point exception; a signaling NaN generally raises a floating-point exception when occurring as an @@ -1607,8 +1606,8 @@ WG14/N1256 Committee Draft -- Septermber 7, 2007 All integer values in the <float.h> header, except FLT_ROUNDS, shall be constant expressions suitable for use in #if preprocessing directives; all floating values shall be constant expressions. All except DECIMAL_DIG, FLT_EVAL_METHOD, FLT_RADIX, - and FLT_ROUNDS have separate names for all three floating-point types. The floating- - point model representation is provided for all values except FLT_EVAL_METHOD and + and FLT_ROUNDS have separate names for all three floating-point types. The floating-point + model representation is provided for all values except FLT_EVAL_METHOD and FLT_ROUNDS.

The rounding mode for floating-point addition is characterized by the implementation- @@ -1649,19 +1648,19 @@ WG14/N1256 Committee Draft -- Septermber 7, 2007 those shown, with the same sign:

The values given in the following list shall be replaced by constant expressions with implementation-defined values that are greater than or equal to those shown:

The values given in the following list shall be replaced by constant expressions with implementation-defined (positive) values that are less than or equal to those shown:

Recommended practice

@@ -1734,9 +1731,8 @@ WG14/N1256 Committee Draft -- Septermber 7, 2007 float: 

                     6
-       x = s16e    (Sum) f k 16-k ,
-                   k=1
-                                   -31 <= e <= +32
+ x = s 16e (Sum) fk 16-k , -31 <= e <= +32 + k=1 
          FLT_RADIX                                  16
@@ -1756,15 +1752,14 @@ WG14/N1256                Committee Draft -- Septermber 7, 2007
  <float.h> header for types float and double:
 
                    24
-       x f = s2e   (Sum) f k 2-k ,
-                   k=1
-                                  -125 <= e <= +128

+       xf = s 2e  (Sum) fk 2-k ,   -125 <= e <= +128
+                   k=1
                    53
-       x d = s2e   (Sum) f k 2-k ,
-                   k=1
-                                  -1021 <= e <= +1024
+ xd = s 2e (Sum) fk 2-k , -1021 <= e <= +1024 + k=1 + 
          FLT_RADIX                                   2
-- 
2.20.1