mpfr: add test
mpfi: modernize
mpfi: add test