Man pages matching name mod_2exp_gmp in section 4: