add writeUInt64 and writeTaggedUInt64