[SATYR PATCHv2] python: treat UINT64_MAX as None