mul32To64
mul32To64( a1, b, &z1, &z2 );
mul32To64( a0, b, &z0, &more1 );
mul32To64( a1, b1, &z2, &z3 );
mul32To64( a1, b0, &z1, &more2 );
mul32To64( a0, b0, &z0, &more1 );
mul32To64( a0, b1, &more1, &more2 );
mul32To64( b, z, &term0, &term1 );
mul32To64( aSig, bSig, &zSig0, &zSig1 );
mul32To64( bSig, zSig, &term0, &term1 );
mul32To64( zSig, zSig, &term0, &term1 );
mul32To64( zSig0, zSig0, &term0, &term1 );
mul32To64( doubleZSig0, zSig1, &term1, &term2 );
mul32To64( zSig1, zSig1, &term2, &term3 );