[tz] [PROPOSED 3/5] Make sure 2**31 - 1 is signed