A BigInt is necessary to encode large 64-bit integers due to limits on the size of Javascript integers
void writeUInt64(BigInt i);