MulUint128_64 returns the uint128 bit product of uint64 a and b.
(a, b uint64)
source not stored for this graph (policy: none)