Even faster mk-big-ival

Author: pavpanchekha

mpfr.rkt

@@ -157,6 +157,7 @@
          bfnan?
          bfinfinite?
          bfnegative?
+         bfrational?
          bfeven?
          bfodd?
          bfcopy

ops/core.rkt

@@ -127,7 +127,7 @@
 (define (mk-big-ival x y)
   (cond
     [(eq? x y)
-     (define err? (and (bigfloat? x) (or (bfinfinite? x) (bfnan? x))))
+     (define err? (and (bigfloat? x) (not (bfrational? x))))
      (ival (endpoint x #t) (endpoint x #t) err? err?)]
     [(and (bigfloat? x) (bigfloat? y))
      (define fix? (bf=? x y))