fix 32 bit integer decoding
1 file changed