mpfi.cmi: 
mpfr.cmi: 
mpfi.cmo: mpfr.cmi mpfi.cmi 
mpfi.cmx: mpfr.cmx mpfi.cmi 
mpfr.cmo: mpfr.cmi 
mpfr.cmx: mpfr.cmi 
