mpfr readline
