pushNumberAsUint64 method

void pushNumberAsUint64(
  1. int v
)

Append a uint64. Caution: number only has 53 bits of precision */

Implementation

void pushNumberAsUint64(int v) {
  pushUint32(v >> 0);
  pushUint32((v ~/ 0x10000) >> 0);
}