void writeU64(BigInt value) { final buffer = _encodeBigIntAsUnsigned(value, 8); _writeBuffer(buffer); }