JTC1/SC22/WG14 N651

				Document number: WG14 N651 (J11 97-014)

Title:	C9X, Editorial use term "real-floating"
Author: Douglas Walls
Date:	January 30, 1997

These changes are based on C9X draft 8.

 1. Replace paragraph 1 of Clause 7.6.2, Classification macros with:

        7.6.2  Classification macros

	In  the  synopses  in  this  subclause,  real-floating
	indicates  that the argument must be an expression of real
	floating type.  The result is undefined if an argument is not
	of floating type.

 2. In the following clauses replace ``floating-type'' with
    ``real-floating'', 5 occurrences:

	Clause 7.6.2.1, The fpclassify macro
	Clause 7.6.2.2, The signbit macro
	Clause 7.6.2.3, The isfinite macro
	Clause 7.6.2.4, The isnormal macro
	Clause 7.6.2.5, The isnan macro

 3. Add the following sentence to the end of paragraph 1 of Clause 7.6.13,
    Comparison macros:

	In the synopses in this subclause, real-floating indicates that
	the argument must be an expression of real floating type.

 4. In the following clauses replace ``floating-expr'' with
    ``real-floating'', 8 occurrences:

       7.6.13.1, The isgreater macro
       7.6.13.2, The isgreaterequal macro
       7.6.13.3,  The isless macro
       7.6.13.4, The islessequal macro

Rationale:

>From: "(C) Jim Thomas" <jimthomas@hpclearh.cup.hp.com>
>
>Douglas Walls wrote:
>> 
>> >From: "(C) Jim Thomas" <jimthomas@hpclearh.cup.hp.com>
>> >
>> >Douglas Walls wrote:
>> >>
>> >> Jim,
>> >>
>> >> The term floating-expr was introduced and used in several of the fp
>> >> function synopses.  However, there is no definition added as to what
>> >> floating-expr means.  We added an explanation of what floating-type
>> >> meant in the synopses.  I think we should add a definition of what
>> >> floating-expr means in the synopses.  Opinion?  I believe this is
>> >> strictly editorial.
>> >
>> >Sounds reasonable.  Could you point me to the explanation of what
>> >floating-type means in the synopses?
>> 
>>        7.6.2  Classification macros                                  |
>> 
>>        [#1]  In  the  synopses  in  this  subclause,  floating-type  |
>>        indicates  a  parameter  of  the  same  floating type as the  |
>>        argument.  The result is undefined if an argument is not  of  |
>>        floating type.                                                |
>> 
>> >
>> >-Jim
>> >
>
>Thanks.  Hmm.  "floating-expr" appears only in 7.6.13.  Both
>floating-type and floating-expr really mean the same thing:  the
>argument must be of real floating type.  As a consequence of the complex
>spec, they're both misnamed now, because complex types are floating
>types but can't be arguments to these macros.  How about this:
>
>(1) renaming them both to "real-floating", e.g.
>int fpclassify(real-floating x);
>
>(2) changing the sentence in 7.6.2 to:  "In the synopses in this
>subclause, real-floating indicates that the argument must be an
>expression of real floating type."
>
>(3) adding this same sentence to paragraph [1] in 7.6.13.  
>
>-Jim
>