Re: [Python-Dev] Deprecating float.is_integer()