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

Re: (/ 0 0.0) ==> 0



Quoting Wolfgang Hukriede:
> Makes me wander, why (zero? 0.0) is #t though...

I would say it's another practical concession. It's perhaps justifiable
by

 (zero? 0.0) -> (= 0 0.0) -> (= 0.0 0.0)
                                ^^^ coercion to inexact

Matthew