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
When either the mantissa or the exponent is too large, the multiplication used before comparison wraps which may result both in true positive and true negative result.
This could be solved with checked_mul() - error from this method means that the number with larger exponent (i.e. whose mantissa is multiplied) must be larger (i.e. not equal) than the one with smaller exponent.