isl_union_*_mul_isl_int: pass address of isl_int to callback