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