Commit 2bbdbd0651216bd33b130a1e49e18e7cf2339dc6

Daniel Mendler 2019-11-03T16:55:35

MP_MIN_PREC>=3 is needed for s_mp_div_school test with MP_PREC=MP_MIN_PREC