History test/mpfrrndeval.awk