more tests for integer decoding on ilp32