> Then again, who is these days? I have no idea what you mean by “who”. In any case, let's trace the conversation back to the original topic: (0) Integer arit

> Then again, who is these days? I have no idea what you mean by “who”. In any case, let's trace the conversation back to the original topic: (0) Integer arithmetic is well-defined. Nonstandard models of arithmetic are just that - models. The well-definedness of a theory doesn't depend on the existence of a unique model. (1) The fact you're programming a computer doesn't magically change the properties of the integers. It is even possible to have a data type for integers! (Not in C, though.)