38     mpz_class a(1), b(2);  in check_mpz()  local
39     mpz_class c(a + b); ASSERT_ALWAYS(c == 3);  in check_mpz()  local
42     mpz_class a(3), b(4);  in check_mpz()  local
43     mpz_class c;  in check_mpz()  local
47     mpz_class a(5), b(3);  in check_mpz()  local
48     mpz_class c;  in check_mpz()  local
56     signed int b = 3;  in check_mpz()  local
57     mpz_class c(a - b); ASSERT_ALWAYS(c == -2);  in check_mpz()  local
61     unsigned int b = 2;  in check_mpz()  local
62     mpz_class c;  in check_mpz()  local
67     double b = 3.0;  in check_mpz()  local
68     mpz_class c(a + b); ASSERT_ALWAYS(c == 5);  in check_mpz()  local
72     mpz_class b;  in check_mpz()  local
80     signed int b = 9;  in check_mpz()  local
81     mpz_class c(b / a); ASSERT_ALWAYS(c == 3);  in check_mpz()  local
95     mpz_class a(3), b(4);  in check_mpz()  local
96     mpz_class c(a * (-b)); ASSERT_ALWAYS(c == -12);  in check_mpz()  local
102     mpz_class a(3), b(2), c(1);  in check_mpz()  local
111     unsigned int b = 2;  in check_mpz()  local
112     mpz_class c((-a) << b); ASSERT_ALWAYS(c == 20);  in check_mpz()  local
115     mpz_class a(5), b(-4);  in check_mpz()  local
116     signed int c = 3;  in check_mpz()  local
124     mpz_class a(2), b(4);  in check_mpz()  local
125     double c = 6;  in check_mpz()  local
129     mpz_class a(3), b(2);  in check_mpz()  local
130     double c = 1;  in check_mpz()  local
146     mpz_class a(3), b(5), c(7);  in check_mpz()  local
158     mpq_class a(1, 2), b(3, 4);  in check_mpq()  local
159     mpq_class c(a + b); ASSERT_ALWAYS(c == 1.25);  in check_mpq()  local
166     signed int b = 3;  in check_mpq()  local
167     mpq_class c(a - b); ASSERT_ALWAYS(c == -2.5);  in check_mpq()  local
171     mpq_class b;  in check_mpq()  local
179     signed int b = 4;  in check_mpq()  local
180     mpq_class c;  in check_mpq()  local
188     mpz_class b(1);  in check_mpq()  local
189     mpq_class c(a + b); ASSERT_ALWAYS(c == 1.5);  in check_mpq()  local
193     mpz_class b(1);  in check_mpq()  local
194     double c = 2.0;  in check_mpq()  local
203     mpz_class b(4);  in check_mpq()  local
204     mpq_class c(b / a); ASSERT_ALWAYS(c == 6);  in check_mpq()  local
208     mpz_class b(1), c(4);  in check_mpq()  local
216     mpq_class a(1, 3), b(3, 4);  in check_mpq()  local
217     mpq_class c;  in check_mpq()  local
224     mpq_class a(1, 3), b(2, 3), c(1, 4);  in check_mpq()  local
232     unsigned int b = 4;  in check_mpq()  local
233     mpq_class c((-a) << b); ASSERT_ALWAYS(c == -6);  in check_mpq()  local
239     mpq_class a(1, 2), b(1, 4);  in check_mpq()  local
240     double c = 6.0;  in check_mpq()  local
248     mpq_class a(1, 2), b(1, 4);  in check_mpq()  local
249     mpz_class c(1);  in check_mpq()  local
253     mpq_class a(1, 3), b(3, 2);  in check_mpq()  local
254     mpz_class c(2), d(4);  in check_mpq()  local
262     mpq_class a(1, 3), b(3, 4);  in check_mpq()  local
263     mpz_class c(-3);  in check_mpq()  local
267     mpq_class a(1, 3), b(3, 5);  in check_mpq()  local
268     mpz_class c(6);  in check_mpq()  local
277     mpq_class a(1, 3), b(3, 4), c(2, 5);  in check_mpq()  local
289     mpf_class a(1), b(2);  in check_mpf()  local
290     mpf_class c(a + b); ASSERT_ALWAYS(c == 3);  in check_mpf()  local
293     mpf_class a(1.5), b(6);  in check_mpf()  local
294     mpf_class c;  in check_mpf()  local
302     signed int b = -2;  in check_mpf()  local
303     mpf_class c(a - b); ASSERT_ALWAYS(c == 3);  in check_mpf()  local
307     mpf_class b;  in check_mpf()  local
315     unsigned int b = 3;  in check_mpf()  local
316     mpf_class c;  in check_mpf()  local
324     mpz_class b(3);  in check_mpf()  local
325     mpf_class c(a - b); ASSERT_ALWAYS(c == -1);  in check_mpf()  local
329     mpz_class b(2), c(1);  in check_mpf()  local
338     mpq_class b(3, 4);  in check_mpf()  local
339     mpf_class c(a * b); ASSERT_ALWAYS(c == 4.5);  in check_mpf()  local
345     mpf_class a(2), b(-3);  in check_mpf()  local
346     mpf_class c;  in check_mpf()  local
353     mpf_class a(3), b(4), c(5);  in check_mpf()  local
362     unsigned int b = 2;  in check_mpf()  local
363     mpf_class c((-a) >> b); ASSERT_ALWAYS(c == -0.75);  in check_mpf()  local
369     mpf_class a(2), b(3);  in check_mpf()  local
370     double c = 5.0;  in check_mpf()  local
378     mpf_class a(2), b(3);  in check_mpf()  local
379     mpz_class c(4);  in check_mpf()  local
384     mpf_class a(2), b(3);  in check_mpf()  local
385     mpq_class c(1, 2), d(1, 4);  in check_mpf()  local
393     mpf_class a(1), b(2);  in check_mpf()  local
394     mpq_class c(3);  in check_mpf()  local
399     mpz_class b(2);  in check_mpf()  local
400     mpq_class c(3, 4);  in check_mpf()  local
408     mpf_class a(1), b(2), c(3);  in check_mpf()  local