Definition:Indiscrete Irrational Extension of Reals