Wide multiplication for 64-bit unsigned integers.
First 64-bit value as bigint
Second 64-bit value as bigint
Tuple of (low 64 bits, high 64 bits) as bigints
Wide multiplication for 64-bit unsigned integers.