You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: