>Actually it does, but careful reading is needed. A good resource for>interpretation of IEEE 754 is David Goldberg's paper "What Every Computer>Scientist Should Know About Floating-Point Arithmetic"

A postscript version of Goldberg's paper along with some commentary by
Doug Priest can be found at http://www.validgh.com/.

> [The IEEE Standard says] "Infinity arithmetic shall be construed as> the limiting case of real arithmetic with operands of arbitrarily> large magnitude, when such a limit exists."

...

> [Goldberg] discusses 0/0 vs. 1/0,

The limit of the ratio of two functions tending toward zero can be
arbitrary; therefore, 0/0 is NaN. However, if the numerator converges
on some non-zero value c, the ratio is +/-infinity. Therefore, in
IEEE arithmetic x/0 is +/-infinity for any finite, non-zero x.

>and the argument is trivially modified to deal with comparisons.

Unlike division, strictly speaking, comparison is not an "arithmetic"
operation as referred to the standard. Therefore, the limit argument
does not apply. (You can't construct a rational or algebraic function
giving 0 or 1 as an answer depending on if its two arguments are
equal.)

>So, what about Inf:Inf (that is, infinity compared to infinity)?

[comparing ratio of two functions with a limit of infinity at x]

>So (Inf==Inf) is false.

Even if the argument could be extended to comparison, the resulting
comparison would not be useful for floating point computation since no
value would necessarily compare equal with itself; the history of how
something was computed would need to be recorded. Floating point
numbers have finite precision and therefore lose information during
the course of a calculation. For example, if

foo = MAX_FLOAT + 1;
bar = MAX_FLOAT

then

(foo == bar) is true since 1 is rounded away during the computation of
foo. In the sort or comparison being suggested, foo would not compare
equal to bar. However, the only way record that sort of information
amounts to using arbitrarily high precision arithmetic, an expensive
approach floating point fundamentally avoids.