So then use `sys.maxint`.