Why are overflow checks not performed on unsigned integers? Doesn't it probably make the result inaccurate?
For example
echo uint.high + 1
Run
outputs `0`, even if the overflow can be detected at the compile-time.
Also, the checks seem to always be performed on signed integers, even those
cannot overflow (e.g. the iteration variable in a `for` loop).
