43     mpz_class d;  in check_mpz_1()  local
48     mpz_class d;  in check_mpz_1()  local
62     mpz_class d;  in check_mpz_2()  local
68     mpz_class d;  in check_mpz_2()  local
82     mpz_class d;  in check_mpz_3()  local
88     mpz_class d;  in check_mpz_3()  local
101     double d = 4.0;  in check_mpz_4()  local
107     double d = 4.0;  in check_mpz_4()  local
121     signed int d = 4;  in check_mpz_5()  local
127     signed int d = 4;  in check_mpz_5()  local
141     unsigned int c = 3, d = 4;  in check_mpz_6()  local
147     unsigned int c = 3, d = 4;  in check_mpz_6()  local
161     double c = 3.0, d = 4.0;  in check_mpz_7()  local
167     double c = 3.0, d = 4.0;  in check_mpz_7()  local
182     signed int d = 4, e = 5;  in check_mpz_8()  local
188     signed int d = 4, e = 5;  in check_mpz_8()  local
202     unsigned int d = 4;  in check_mpz_9()  local
208     unsigned int d = 4;  in check_mpz_9()  local
222     double c = 3.0, d = 4.0;  in check_mpz_10()  local
228     double c = 3.0, d = 4.0;  in check_mpz_10()  local
242     signed int c = 3, d = 4;  in check_mpz_11()  local
248     signed int c = 3, d = 4;  in check_mpz_11()  local
262     unsigned int d = 4, e = 5;  in check_mpz_12()  local
268     unsigned int d = 4, e = 5;  in check_mpz_12()  local
282     double d = 4.0, e = 5.0;  in check_mpz_13()  local
288     double d = 4.0, e = 5.0;  in check_mpz_13()  local
303     signed int c = 3, d = 4, e = 5;  in check_mpz_14()  local
309     signed int c = 3, d = 4, e = 5;  in check_mpz_14()  local
323     unsigned int c = 3, d = 4, e = 5;  in check_mpz_15()  local
329     unsigned int c = 3, d = 4, e = 5;  in check_mpz_15()  local
345     double d = 4.0, e = 5.0, f = 6.0;  in check_mpz_16()  local
351     double d = 4.0, e = 5.0, f = 6.0;  in check_mpz_16()  local
365     mpz_class d;  in check_mpz_17()  local
370     mpz_class d;  in check_mpz_17()  local
384     mpz_class d;  in check_mpz_18()  local
390     mpz_class d;  in check_mpz_18()  local
405     mpz_class d;  in check_mpz_19()  local
411     mpz_class d;  in check_mpz_19()  local
424     double d = 5.0;  in check_mpz_20()  local
430     double d = 5.0;  in check_mpz_20()  local
444     signed int d = 5;  in check_mpz_21()  local
450     signed int d = 5;  in check_mpz_21()  local
464     unsigned int c = 4, d = 5;  in check_mpz_22()  local
470     unsigned int c = 4, d = 5;  in check_mpz_22()  local
484     double c = 4.0, d = 5.0;  in check_mpz_23()  local
490     double c = 4.0, d = 5.0;  in check_mpz_23()  local
505     signed int d = 5, e = 6;  in check_mpz_24()  local
511     signed int d = 5, e = 6;  in check_mpz_24()  local
525     unsigned int d = 5;  in check_mpz_25()  local
531     unsigned int d = 5;  in check_mpz_25()  local
545     double c = 4.0, d = 5.0;  in check_mpz_26()  local
551     double c = 4.0, d = 5.0;  in check_mpz_26()  local
565     signed int c = 4, d = 5;  in check_mpz_27()  local
571     signed int c = 4, d = 5;  in check_mpz_27()  local
585     unsigned int d = 5, e = 6;  in check_mpz_28()  local
591     unsigned int d = 5, e = 6;  in check_mpz_28()  local
605     double d = 5.0, e = 6.0;  in check_mpz_29()  local
611     double d = 5.0, e = 6.0;  in check_mpz_29()  local
625     signed int c = 4, d = 5, e = 6;  in check_mpz_30()  local
631     signed int c = 4, d = 5, e = 6;  in check_mpz_30()  local
645     unsigned int c = 4, d = 5, e = 6;  in check_mpz_31()  local
651     unsigned int c = 4, d = 5, e = 6;  in check_mpz_31()  local
666     double d = 5.0, e = 6.0, f = 7.0;  in check_mpz_32()  local
672     double d = 5.0, e = 6.0, f = 7.0;  in check_mpz_32()  local