IMO Optimizations like that should be at least a __warning__ and ideally lead to refactored and more correct code as a result. Also IMO, the default should alw

IMO Optimizations like that should be at least a __warning__ and ideally lead to refactored and more correct code as a result. Also IMO, the default should always be unsigned (modulus) integers, not signed. That would promote more correct consideration of integer types and operations. Yes, the ship has sailed on that, but it would also be nice if code linters added 'signed ' where not specified to remind everyone of the present default.