> From: Paul Schlie <xxxxxx@comcast.net>
>
>   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