Rust 1.0-beta has a really interesting approach to integer overflow checks, default enabling them for debug builds: https://github.com/rust-lang/rfcs/blob/master/text/0560-integer-overflow.md