I don't care. I expect it to work for the simple case, and I expect not to spend time on it unless there is a good reason (like I have very large numbers and must be careful not to overflow).

You responded to a point I made in response to Spivak. If you don't care about his argument, then it might be worth responding elsewhere.