flintlib/arb

Improve arb_can_round_arf/mpfr

fredrik-johansson opened this issue · 0 comments

This essentially calls mpfr_round_p, which does not have a special case for checking when we can round to nearest. For example, 1.0 +/ eps can clearly be rounded to nearest when eps is small enough, but this can't be detected with mpfr_round_p.