mpfr_t x; /* declaration */
x = mpfr_init(); /* initializes x with a value of NaN */