void DESTROY(mpfr_t * p) {
     mpfr_clear(*p);
     Safefree(p);
}