Wording in A.3.2. Arithmetic functions

[Roland Illig <roland.illig@gmx.de>]

Hi,

I think there is a redundant statement in A.3.2, which is: "In an 
expression that contains any of these functions, if any argument is 
"Indeterminate", then the expression SHALL evaluate to "Indeterminate"."

The "Indeterminate -> Indeterminate" thing is already meantioned in A.3, 
which also applies to the arithmetic functions. Furthermore, the wording 
"contains any of these" may have unintended side effects: Interpreting 
the wording strictly, the expression

     (and false (integer-add 0 (integer-divide 0 0)))

would have to evaluate to Indeterminate, since it:

   - contains (transitively) "any of these functions"
   - "any argument is Indeterminate" (second argument of integer-add)

What bad would happen if the above-mentioned statement were deleted from 
the standard?

Roland