Re: [SATYR PATCHv3] python: treat UINT64_MAX as None