gmp_div &Alias; gmp_div_q &reftitle.description; &info.function.alias; gmp_div_q.