MDLD/axiom of Archimedes (R)