[console] use sys.maxint instead of sys.maxint