My last post outlined some of the possibilities for integer semantics in programming languages, and asked which option was correct. This post contains my answers. Just to be clear: I want practical solutions, but I’m not very interested by historical issues or backwards compatibility with any existing language, and particularly not with C and C++.We’ll start with:Premise 1: Operations on default integer types return the mathematically correct result or else trap.This is the same premise that as-if infinitely ranged begins with, but we’ll perhaps end up with some different ...