Added integer encoding