mul64 returns a * b.
factory Uint128.mul64(BigInt a, BigInt b) { final (high, low) = Bits.mul64(a, b); return Uint128(low, high); }