A times B as a 128-bit result in two uint64s. X is the high 64 bits, Y is the low
Native TEAL opcode: mulw Min AVM version: 1
mulw
A times B as a 128-bit result in two uint64s. X is the high 64 bits, Y is the low