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.