https://artikeldigital.com/en/Complete_ordered_field