Added methods for varint encoding/decoding uint64_t numbers.