Fast 32 bit number multiplication on 64b machine.