Add new `mpz_mul_si`-based primop (re #8647)