Work on Python implementation of isl_int