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

Re: Nitpick with FLOOR etc.



> From: Paul Schlie <schlie@xxxxxxxxxxx>
> 
>   as otherwise: (> (* #e10^1000 #e10^1000) #e10^1000)
> 
>   :: (> #i1/0 #e10^1000) => #f
> 
>   where it should more ideally be:
> 
>   :: (> #e1/0 #e10^1000) => #t

- and arguably correspondingly:

  (< 0 (* #e10^-1000 #e10^-1000) #e10^-1000 #i10^-300) ::
  (< 0 #e0/1 #e10^-1000 #i10^-300) => #t