I think what you’re saying is basically true but it’s a trade against density.

If you did overflow checks rarely then what you say is a very good point indeed. The key thing is just the frequency of this stuff in modern languages.