Full Integer Rules Subtraction