Binary encoding of ints