pushBigint method
Append a BigInt value with a specified major tag to the byte sequence in the buffer.
Implementation
void pushBigint(
BigInt value,
) {
final shift32 = BigInt.from(0x100000000);
final quotient = value ~/ shift32;
final remainder = value % shift32;
pushBytes(_toUint32Be(quotient.toInt()));
pushBytes(_toUint32Be(remainder.toInt()));
}