Fix test failure in test_python_int under Windows

This follows from 8e0d323089e67c471b1597223bf7ccefb8cf3a1d (sorry).