[SATYR PATCHv3] python: treat UINT64_MAX as None