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