Category:Pointed Rational Extension of Reals