>safe overflow checking

You mean rust? Rust uses unsigned integers for everything, they can be checked efficiently. Same for bignum.