code: function divmodInt64(src) {
    const hi32 = Math.floor(src / V2E32);
    const lo32 = src - (hi32 * V2E32);
    // assert.equal(roundedInt64(hi32, lo32), src);
    // assert(0 <= lo32);
    return {hi32, lo32};
  }
docs: /* True modulus high and low 32-bit words, where low word is always
  non-negative.