num.p2.mul
mul(pA, pB)
Immutably multiplies pA * pB.
