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