pub fn safe_div(x: &Felt252, y: &Felt252) -> Result<Felt252, MathError>
Performs integer division between x and y; fails if x is not divisible by y.