Definition:Discrete Rational Extension of Reals