Multiply the packed 32-bit integers in a and b, producing intermediate 64-bit integers, return the low 32 bits of the intermediate integers.