Category:Discrete Irrational Extension of Reals