Category:Definitions/Pointed Extensions of Reals