Behavior of integer division can now be controlled with config.int_division, and the default value does not break code anymore