[rustybolt]

You're completely right! Typically you don't care about overflow though (and you should use unsigned ints to avoid undefined behavior).