addMul64 returns v + a * b.
void addMul64(BigInt a, BigInt b) { final (h, l) = Bits.mul64(a, b); final (lo, c) = Bits.add64(l, low, 0); final (hi, _) = Bits.add64(h, high, c); low = lo; high = hi; }