modulus from type