How to subtract without borrowing?