Category:Real Numbers form Ordered Integral Domain