| Date: Sun, 23 Oct 2005 12:12:24 -0400
 | From: "John.Cowan" <xxxxxx@reutershealth.com>
 |
 | Aubrey Jaffer scripsit:
 |
 | >  | (/ 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?
 |
 | The first line is transparently a typo for (/ 0.0 0.0) ==> +nan.0.

I don't think so.  The next three lines are:

   (/ 0 0.0)                              ==>  unspecified
   (/ 0.0 0)                              ==>  +nan.0
   (/ 0.0 0.0)                            ==>  +nan.0