Py3 bug fix: integer division in Py.Dict