[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Nitpick with FLOOR etc.



 | Date: Tue, 02 Aug 2005 21:48:52 -0400
 | From: Paul Schlie <schlie@xxxxxxxxxxx>
 | 
 | > From: Aubrey Jaffer <agj@xxxxxxxxxxxx>
 | >  | From: Paul Schlie <schlie@xxxxxxxxxxx>
 | >  |
 | >  | - 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