[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.



> 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