Category:Discrete Rational Extension of Reals