On 19/09/16 17:24 +0000, Joe Buck wrote:
Python has a distinct integer division operator, "//". 7 // 3 returns the integer 2.
Python 3 does, but Python 2 doesn't have it unless you import it from __future, and I don't know how far back that works. I don't want to introduce a fix for Python 3 that breaks it for old systems. Using a cast is clear and (AFAIK) works with all versions.