Category:Examples of Ordered Integral Domains