Commit baab45a700b0402c069a925451969ce82ebb606e

Thomas de Grivel 2025-07-19T19:45:46

make ikc3 tests pass again, add % operator