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