Definition:Pointed Irrational Extension of Reals