Large integer subtraction