Subtraction generation works (but not for borrow across zero)