ordered integral domains