> 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