add approxInterval to Data.AlgebraicNumber.Real