Compiler and C library bugs revealed by MPFR