No sys.maxint in python3