Fix decoding of integer values larger than 2**32-1