public new ContextualOperand Modulus(Operand value) { return OperandExtensions.SetLeakedState(new ContextualOperand(base.Modulus(value), TypeMapper), true); }