update MPFR to 4.2.1 (#53837)

Commit

1 year ago

update MPFR to 4.2.1 (#53837) MPFR 4.2.1 was released on 22 August 2023. It contains bugfixes.