[add] mpfr interface