fix a test

... because MPFR changed the way it generates random real numbers