> at least the outcome of <i>integer</i> maths is always defined.<p>Assuming you mean “integer arithmetic”, the answer is a resounding <i>yes</i>, it's well-defined. Of course, so-called “machine integers” are not a faithful model of the integers, and, in particular, so-called “signed integers” in C aren't a faithful model of anything nice.