Hi. The file gmp-5.01/doc/projects.html state "that we usually recommend new programs to use mpfr instead of mpf." What's the relation between gmp and mpfr? Is gmp deprecated?