Aubrey Jaffer <xxxxxx@alum.mit.edu> writes:

>  | (/ 0.0)                                ==>  +nan.0
>  | (/ 1.0 0)                              ==>  +inf.0
>  | (/ -1 0.0)                             ==>  -inf.0
>  | (/ +inf.0)                             ==>  0.0
>
> If 0.0 is the multiplicative inverse of +inf.0, then +inf.0 must be
> multiplicative inverse of 0.0.  But (/ 0.0) ==> +nan.0.  Which line is
> correct?

(/ 0.0) should be +inf.0.

--
   __("<         Marcin Kowalczyk
   \__/       xxxxxx@knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/