gpu.c: tile: avoid use of isl_int