| Date: Tue, 02 Aug 2005 21:48:52 -0400
 | From: Paul Schlie <xxxxxx@comcast.net>
 |
 | > From: Aubrey Jaffer <xxxxxx@alum.mit.edu>
 | >  | From: Paul Schlie <xxxxxx@comcast.net>
 | >  |
 | >  | - I still don't understand how it's acceptable for (/ 1/-0.0)
 | >  | => 0.0, as it seems neither necessary, nor desirable to
 | >  | propagate IEEE-754 mistake.
 | >
 | > (limit / -/0. -1.0e222) ==> 0.0
 |
 | - which is only the case as you don't differentiate between -0.0
 |   and +0.0;

The `limit' procedure does not call `/' at the limit point.
Its last call to `+' generating the return value is

  (+ 999.9999999999999e-225 -999.9999999999999e-225) ==> 0.0