clearly define `int` and `uint` to fix unsoundness

This fixes the gap in the language definition causing #18726.
lower maximum object size to (1 << 31) - 1