Comment by Kenji

So, does that mean we should use unsigned integers whenever possible, such that we have defined overflows and still benefit from optimizations?