MDLD/Archimedian ordered field