config HOST_MPFR
	select HOST_GMP
	bool