Method exec_floordiv

compiler/src/modules/vm/handlers/arith.rs:249–264

(&mut self, a: Val, b: Val)

    }

    fn exec_floordiv(&mut self, a: Val, b: Val) -> Result<Val, VmErr> {
        if a.is_float() || b.is_float() {
            let af = self.to_f64_coerce(a).map_err(|_| cold_type("// requires numeric operands"))?;
            let bf = self.to_f64_coerce(b).map_err(|_| cold_type("// requires numeric operands"))?;
            if bf == 0.0 { return Err(VmErr::ZeroDiv); }
            // ffloor() handles all magnitudes; `as i64` would overflow for large floats.
            return Ok(Val::float(ffloor(af / bf)));
        }
        let (Some(ai), Some(bi)) = (self.as_i128(a), self.as_i128(b)) else { return Err(cold_type("// requires numeric operands")); };
        if bi == 0 { return Err(VmErr::ZeroDiv); }
        // Floor-div on i128: round toward negative infinity. checked_div guards i128::MIN / -1 overflow.
        let q = ai.checked_div(bi).ok_or(cold_overflow())?;
        let r = ai - q * bi;
        let q = if (r != 0) && ((r < 0) != (bi < 0)) { q - 1 } else { q };
        self.int_to_val(Some(q))
    }

    fn exec_pow(&mut self, a: Val, b: Val) -> Result<Val, VmErr> {
        self.pow_vals(a, b, "** requires numeric operands")