def intput(): return int(input()) Life would be just marginally easier, with a punny function name as a bonus. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.python.org/pipermail/python-ideas/attachments/20160125/1db1c9bc/attachment.html>