update MPFR to 4.2.0 (#48165)

Commit

2 years ago

update MPFR to 4.2.0 (#48165) Co-authored-by: Mosè Giordano <giordano@users.noreply.github.com>