Int decoding