Archimedean ordered field