Man pages matching name mul_2exp_gmp in section 4: