[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: References to IEEE 754
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
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]