isl_basic_map_simplify: remove integer coefficients from integer divisions