add isolatingInterval :: AReal -> Interval Rational