fix maximum object size semantics#18728

Merged

bors merged 1 commit intorust-lang:masterfrom

thestinger:int

Nov 20, 2014

Commits on Nov 19, 2014

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