Definition:Indiscrete Rational Extension of Reals