Searched refs:read_mpfr_prec (Results 1 – 2 of 2) sorted by relevance
282 read_mpfr_prec (FILE *fp) in read_mpfr_prec() function331 mpfr_set_prec (x, read_mpfr_prec (fp)); in read_mpfr()
150 extern mpfr_prec_t read_mpfr_prec (FILE *fp);