[SATYR PATCH] python: treat UINT64_MAX as None