Update INTEGER encoding/decoding