introduce MPFR and do with some :TODO: s