Complex numbers/Modulus/Definition