Implement a new test case that encodes 32bits INTMAX and then decodes
it to check it's still the same value.