I checked and the 32 bit Intel platforms don't support 128 bit integers, which I think the multiplication requires. That's my concern.