Add64 returns the sum with carry of x, y and carry: sum = x + y + carry.

Mul64 returns the 128-bit product of x and y: (hi, lo) = x * y with the product bits' upper half returned in hi and the lower half returned in lo.

MulUintptr returns a * b and whether the multiplication overflowed.