Man pages matching name mpfr in section 3pm: