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

This fixes the gap in the language definition causing #18726.
use int::MAX as the max object size

This fixes the fixed-size array component of #18726.