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

Re: Nitpick with FLOOR etc.

This page is part of the web mail archives of SRFI 70 from before July 7th, 2015. The new archives for SRFI 70 contain all messages, not just those from before July 7th, 2015.



 | 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