What is your point? (Honest question.)
That using signed integers exclusively eliminates one class of bugs, while making another class only marginally more likely.
Are you proposing that we make all array lengths signed?
No, I think that ship has sailed. But I recommend avoiding unsigned types for general arithmetic.
