EncodeInt now copies input