Fix INT_VALUE encoding