mul64To128
mul64To128( aSig0, aSig1, bSig0, bSig1, &zSig0, &zSig1, &zSig2, &zSig3 );
mul64To128( aSig, bSig, &zSig0, &zSig1 );
mul64To128( bSig, zSig, &term0, &term1 );
mul64To128( zSig, zSig, &term0, &term1 );
mul64To128( aSig, bSig, &zSig0, &zSig1 );
mul64To128( bSig, zSig0, &term0, &term1 );
mul64To128( bSig, zSig1, &term1, &term2 );
mul64To128( bSig, q, &term0, &term1 );
mul64To128( bSig, q<<( 64 - expDiff ), &term0, &term1 );
mul64To128( zSig0, zSig0, &term0, &term1 );
mul64To128( doubleZSig0, zSig1, &term1, &term2 );
mul64To128( zSig1, zSig1, &term2, &term3 );
mul64To128( zSig0, zSig0, &term0, &term1 );
mul64To128( doubleZSig0, zSig1, &term1, &term2 );
mul64To128( zSig1, zSig1, &term2, &term3 );
mul64To128( a1, b, &z1, &z2 );
mul64To128( a0, b, &z0, &more1 );
mul64To128( a1, b1, &z2, &z3 );
mul64To128( a1, b0, &z1, &more2 );
mul64To128( a0, b0, &z0, &more1 );
mul64To128( a0, b1, &more1, &more2 );
mul64To128( b, z, &term0, &term1 );
mul64To128( aSig, bSig, &zSig0, &zSig1 );
mul64To128( bSig, zSig, &term0, &term1 );
mul64To128( zSig, zSig, &term0, &term1 );
mul64To128( aSig, bSig, &zSig0, &zSig1 );
mul64To128( bSig, zSig0, &term0, &term1 );
mul64To128( bSig, zSig1, &term1, &term2 );
mul64To128( bSig, q, &term0, &term1 );
mul64To128( bSig, q<<( 64 - expDiff ), &term0, &term1 );
mul64To128( zSig0, zSig0, &term0, &term1 );
mul64To128( doubleZSig0, zSig1, &term1, &term2 );
mul64To128( zSig1, zSig1, &term2, &term3 );
mul64To128( zSig0, zSig0, &term0, &term1 );
mul64To128( doubleZSig0, zSig1, &term1, &term2 );
mul64To128( zSig1, zSig1, &term2, &term3 );