Category:Discrete Extensions of Reals