38     mpz_class a(123), b;  in check_mpz()  local
47     signed char a = -127;  in check_mpz()  local
54     unsigned char a = 255;  in check_mpz()  local
61     mpz_class a;  in check_mpz()  local
65     mpz_class a;  in check_mpz()  local
71     signed int a = 0;  in check_mpz()  local
76     signed int a = -123;  in check_mpz()  local
81     signed int a = 32767;  in check_mpz()  local
88     unsigned int a = 65535u;  in check_mpz()  local
95     signed short int a = -12345;  in check_mpz()  local
102     unsigned short int a = 54321u;  in check_mpz()  local
109     signed long int a = -1234567890L;  in check_mpz()  local
116     unsigned long int a = 3456789012UL;  in check_mpz()  local
123     float a = 123.0;  in check_mpz()  local
130     double a = 0.0;  in check_mpz()  local
135     double a = -12.375;  in check_mpz()  local
140     double a = 6.789e+3;  in check_mpz()  local
145     double a = 9.375e-1;  in check_mpz()  local
155     const char *a = "1234567890";  in check_mpz()  local
162     string a("1234567890");  in check_mpz()  local
170       const char *a = "abc";  in check_mpz()  local
181       string a("def");  in check_mpz()  local
191     mpz_class a(123);  in check_mpz()  local
201     mpz_class a(123);  in check_mpz()  local
210     mpz_class a(123);  in check_mpz()  local
224     mpq_class a(1, 2), b;  in check_mpq()  local
233     signed char a = -127;  in check_mpq()  local
240     unsigned char a = 255;  in check_mpq()  local
247     mpq_class a;  in check_mpq()  local
251     mpq_class a;  in check_mpq()  local
257     signed int a = 0;  in check_mpq()  local
262     signed int a = -123;  in check_mpq()  local
267     signed int a = 32767;  in check_mpq()  local
274     unsigned int a = 65535u;  in check_mpq()  local
281     signed short int a = -12345;  in check_mpq()  local
288     unsigned short int a = 54321u;  in check_mpq()  local
295     signed long int a = -1234567890L;  in check_mpq()  local
302     unsigned long int a = 3456789012UL;  in check_mpq()  local
309     float a = 123.0;  in check_mpq()  local
316     double a = 0.0;  in check_mpq()  local
321     double a = -12.375;  in check_mpq()  local
326     double a = 6.789e+3;  in check_mpq()  local
331     double a = 9.375e-1;  in check_mpq()  local
341     const char *a = "1234567890";  in check_mpq()  local
348     string a("1234567890");  in check_mpq()  local
356       const char *a = "abc";  in check_mpq()  local
367       string a("def");  in check_mpq()  local
377     mpq_class a(3, 2);  in check_mpq()  local
387     mpq_class a(3, 2);  in check_mpq()  local
396     mpq_class a(3, 2);  in check_mpq()  local
410     mpf_class a(123), b;  in check_mpf()  local
419     signed char a = -127;  in check_mpf()  local
426     unsigned char a = 255;  in check_mpf()  local
433     mpf_class a;  in check_mpf()  local
437     mpf_class a;  in check_mpf()  local
443     signed int a = 0;  in check_mpf()  local
448     signed int a = -123;  in check_mpf()  local
453     signed int a = 32767;  in check_mpf()  local
460     unsigned int a = 65535u;  in check_mpf()  local
467     signed short int a = -12345;  in check_mpf()  local
474     unsigned short int a = 54321u;  in check_mpf()  local
481     signed long int a = -1234567890L;  in check_mpf()  local
488     unsigned long int a = 3456789012UL;  in check_mpf()  local
495     float a = 123.0;  in check_mpf()  local
502     double a = 0.0;  in check_mpf()  local
507     double a = -12.375;  in check_mpf()  local
512     double a = 6.789e+3;  in check_mpf()  local
517     double a = 9.375e-1;  in check_mpf()  local
527     const char *a = "1234567890";  in check_mpf()  local
534     string a("1234567890");  in check_mpf()  local
542       const char *a = "abc";  in check_mpf()  local
553       string a("def");  in check_mpf()  local
563     mpf_class a(123);  in check_mpf()  local
573     mpf_class a(123);  in check_mpf()  local
582     mpf_class a(123);  in check_mpf()  local