isl_int_sioimath.c: directly include stdlib.h (for malloc)