Real numbers/Modulus/Definition