Versions with this page:
Versions without this page:
This writes the 64-bit value to the stream using variable-length-encoding.