Definition:Pointed Rational Extension of Reals