A plea for int overflow checking as the default