Vint helper

Expose a helper function to convert a `VInt.t` to an `int`.