Category:Pointed Extensions of Reals