MDLD/real numbers