98     mpz_class c;  in check_mpz()  local
104     mpz_class c;  in check_mpz()  local
110     mpz_class c;  in check_mpz()  local
117     mpz_class c;  in check_mpz()  local
124     mpz_class c;  in check_mpz()  local
130     mpz_class c;  in check_mpz()  local
137     mpz_class c;  in check_mpz()  local
145     mpz_class c;  in check_mpz()  local
151     mpz_class c;  in check_mpz()  local
160     mpz_class c;  in check_mpz()  local
173     mpz_class c;  in check_mpz()  local
185     mpz_class c;  in check_mpz()  local
200     mpz_class c;  in check_mpz()  local
208     mpz_class c;  in check_mpz()  local
222     int c;  in check_mpz()  local
229     int c;  in check_mpz()  local
236     int c;  in check_mpz()  local
243     int c;  in check_mpz()  local
253     mpz_class a(1), b(2), c(3);  in check_mpz()  local
259     unsigned int c = 3;  in check_mpz()  local
265     unsigned int c = 2;  in check_mpz()  local
271     signed int c = 3;  in check_mpz()  local
277     signed int c = 2;  in check_mpz()  local
283     double c = 3.0;  in check_mpz()  local
289     double c = 2.0;  in check_mpz()  local
295     mpz_class a(2), b(3), c(4);  in check_mpz()  local
301     unsigned int c = 3;  in check_mpz()  local
307     unsigned int c = 2;  in check_mpz()  local
313     signed int c = 3;  in check_mpz()  local
319     signed int c = 2;  in check_mpz()  local
325     double c = 3.0;  in check_mpz()  local
331     double c = 2.0;  in check_mpz()  local
338     mpz_class a(1), b(2), c(3);  in check_mpz()  local
344     unsigned int c = 3;  in check_mpz()  local
350     unsigned int c = 2;  in check_mpz()  local
356     signed int c = 3;  in check_mpz()  local
362     signed int c = 2;  in check_mpz()  local
368     double c = 3.0;  in check_mpz()  local
374     double c = 2.0;  in check_mpz()  local
380     mpz_class a(2), b(3), c(4);  in check_mpz()  local
386     unsigned int c = 3;  in check_mpz()  local
392     unsigned int c = 2;  in check_mpz()  local
398     signed int c = 3;  in check_mpz()  local
404     signed int c = 2;  in check_mpz()  local
410     double c = 3.0;  in check_mpz()  local
416     double c = 2.0;  in check_mpz()  local
468     mpq_class c;  in check_mpq()  local
474     mpq_class c;  in check_mpq()  local
480     mpq_class c;  in check_mpq()  local
487     mpq_class c;  in check_mpq()  local
494     mpq_class c;  in check_mpq()  local
502     mpq_class c;  in check_mpq()  local
528     int c;  in check_mpq()  local
535     int c;  in check_mpq()  local
542     int c;  in check_mpq()  local
549     int c;  in check_mpq()  local
556     int c;  in check_mpq()  local
656     mpf_class c;  in check_mpf()  local
663     mpf_class c;  in check_mpf()  local
670     mpf_class c;  in check_mpf()  local
677     mpf_class c;  in check_mpf()  local
693     mpf_class c;  in check_mpf()  local
700     int c;  in check_mpf()  local
707     int c;  in check_mpf()  local
714     int c;  in check_mpf()  local
721     int c;  in check_mpf()  local
728     int c;  in check_mpf()  local
735     int c;  in check_mpf()  local