References to IEEE 754

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

Hi,

is there any reason that you refer to IEEE 754 when doing integer 
operations, for example in "integer-equal"? Everything IEEE 754 has to 
say about the topic of comparing numbers is:

     "5.7 Comparison. It shall be possible to compare
     floating-point numbers in all supported formats,
     even if the operands' formats differ. Comparisons
     are exact and never overflow nor underflow. Four
     mutually exclusive relations are possible:
     less than, equal, greater than, unordered.
     The last case arises when at least one operand is
     NaN."

I don't see immediately how this all applies to integers. In fact, you 
need pretty much nothing out of the cited paragraph for comparing 
integers. You don't want me to convert the integers to floating-point 
and then compare them, do you? ;)

So why didn't you just specify "the integer-add function SHALL return 
"True" if its arguments represent the same number, otherwise it SHALL 
return "False"."?

Roland