Integer: fix int handling for Python 3