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