Subtraction

Subtraction with optional no-negative and no-borrowing rules.