It's a good observation that checking for 32-bit overflow is not too bad, but... > In 64 bit ... almost all integers remain 32 bit. I don't believe this is tr

It's a good observation that checking for 32-bit overflow is not too bad, but... > In 64 bit ... almost all integers remain 32 bit. I don't believe this is true for Rust, even if we exclude index integers in iterators because we think those overflow checks can be optimized out. Certainly in my Rust project (Pernosco) there is a lot of manipulation of 64-bit integer data.