if (rightOperand instanceof IntState) {
BigInteger rightValue = ((IntState) rightOperand).getValue();
if (rightValue == null) {
return UNKNOWN_VALUE;
}
return new DoubleState(value.doubleValue() / rightValue.doubleValue());
} else if (rightOperand instanceof DoubleState) {
Double rightValue = ((DoubleState) rightOperand).getValue();
if (rightValue == null) {
return UNKNOWN_VALUE;
}