Yet more uninspiring work on Python implementation of isl_int