Function add_constants

src/oomir/interpret.rs:346–361

(op1: Constant, op2: Constant)

            if is_i128_class(class_name) || is_u128_class(class_name) =>
        {
            let bi1 = parse_constant_to_bigint(&unified_op1).ok()?;
            let bi2 = parse_constant_to_bigint(&unified_op2).ok()?;
            if bi2.is_zero() {
                return None;
            } // Division by zero
            // Use checked_div for integer division semantics (truncates)
            bi1.checked_div(&bi2)
                .and_then(|value| bigint_to_integer_constant_like(value, &unified_op1))
        }
        _ => {
            primitive_arithmetic!(unified_op1, unified_op2, /, checked_div, InterpretError::DivisionByZero)
        }
    }
}

pub fn rem_constants(op1: Constant, op2: Constant) -> Option<Constant> {
    let (unified_op1, unified_op2) = unify_ops_type(op1, op2)?;
    match &unified_op1 {
        Constant::Instance { class_name, .. }