change the encoding for integer, to make it more simple