mpfr __hash__ and randomised float tests