Integer decoding.