NimManager.py: add missing conversion to int