Add vint encoding support