Wrote the encoding for ints