mpfr-current: Import mpfr 3.1.2

Signed-off-by: Bernhard Rosenkränzer <Bernhard.Rosenkranzer@linaro.org>
472 files changed