util.c: Use Python's machinery for handling 64-bit integers.