chapter06/mpfr.xml complete. r9742 -> r9903