types.TwosComplement: Check overflow.