@Override
public double executeFloat(RubyBasicObject receiver) throws UnexpectedResultException {
if (hasFloat && receiver.getRubyClass() == expectedClass && unmodifiedAssumption.isValid()) {
return integerFixnumValue;
} else {
return next.executeFloat(receiver);
}
}
