Fix DecodeInt