https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68735
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Jonathan Wakely from comment #5) > Ah, I think the problem is that Python 2 has a 42-bit int 32-bit of course. But there's also something else going on. I have a patch.
