Definition:Discrete Irrational Extension of Reals