Agree `int` is the problem. This implies we're doing math over all integers, when in most languages what we're actually working with are bounded integers. (Ther

Agree `int` is the problem. This implies we're doing math over all integers, when in most languages what we're actually working with are bounded integers. (There's some counter-examples, Python and Haskell come to mind.) Calling them sane names like `i32` and `i64` makes it clear that overflow exists.