Multiprecision integer mult using FPU