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