add refineIsolatingInterval :: AReal -> AReal