38     mpz_class c(a + b); ASSERT_ALWAYS(c == 3);  in check_mpz()  local
42     mpz_class c;  in check_mpz()  local
47     mpz_class c;  in check_mpz()  local
56     mpz_class c(a - b); ASSERT_ALWAYS(c == -2);  in check_mpz()  local
61     mpz_class c;  in check_mpz()  local
67     mpz_class c(a + b); ASSERT_ALWAYS(c == 5);  in check_mpz()  local
80     mpz_class c(b / a); ASSERT_ALWAYS(c == 3);  in check_mpz()  local
95     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
113     mpz_class c((-a) << b); ASSERT_ALWAYS(c == 20);  in check_mpz()  local
117     signed int c = 3;  in check_mpz()  local
126     double c = 6;  in check_mpz()  local
131     double c = 1;  in check_mpz()  local
147     mpz_class a(3), b(5), c(7);  in check_mpz()  local
155     mpz_class a(0xcafe), b(0xbeef), c, want;  in check_mpz()  local
183     mpq_class c(a + b); ASSERT_ALWAYS(c == 1.25);  in check_mpq()  local
191     mpq_class c(a - b); ASSERT_ALWAYS(c == -2.5);  in check_mpq()  local
204     mpq_class c;  in check_mpq()  local
213     mpq_class c(a + b); ASSERT_ALWAYS(c == 1.5);  in check_mpq()  local
218     double c = 2.0;  in check_mpq()  local
229     mpq_class c(b / a); ASSERT_ALWAYS(c == 6);  in check_mpq()  local
233     mpz_class b(1), c(4);  in check_mpq()  local
243     mpq_class c;  in check_mpq()  local
251     mpq_class a(1, 3), b(2, 3), c(1, 4);  in check_mpq()  local
261     mpq_class c((-a) << b); ASSERT_ALWAYS(c == -6);  in check_mpq()  local
268     double c = 6.0;  in check_mpq()  local
277     mpz_class c(1);  in check_mpq()  local
286     mpz_class c(2), d(4);  in check_mpq()  local
296     mpz_class c(-3);  in check_mpq()  local
301     mpz_class c(6);  in check_mpq()  local
311     mpq_class a(1, 3), b(3, 4), c(2, 5);  in check_mpq()  local
326     mpf_class c(a + b); ASSERT_ALWAYS(c == 3);  in check_mpf()  local
330     mpf_class c;  in check_mpf()  local
339     mpf_class c(a - b); ASSERT_ALWAYS(c == 3);  in check_mpf()  local
352     mpf_class c;  in check_mpf()  local
361     mpf_class c(a - b); ASSERT_ALWAYS(c == -1);  in check_mpf()  local
365     mpz_class b(2), c(1);  in check_mpf()  local
376     mpf_class c(a * b); ASSERT_ALWAYS(c == 4.5);  in check_mpf()  local
383     mpf_class c;  in check_mpf()  local
391     mpf_class a(3), b(4), c(5);  in check_mpf()  local
402     mpf_class c((-a) >> b); ASSERT_ALWAYS(c == -0.75);  in check_mpf()  local
409     double c = 5.0;  in check_mpf()  local
418     mpz_class c(4);  in check_mpf()  local
424     mpq_class c(1, 2), d(1, 4);  in check_mpf()  local
433     mpq_class c(3);  in check_mpf()  local
439     mpq_class c(3, 4);  in check_mpf()  local
447     mpf_class a(1), b(2), c(3);  in check_mpf()  local