Implementing int vector serialization