Converted all Int's to use the ZigZag encoding