gpu.c: add_bounded_parameters: avoid use of isl_int