[Python-ideas] Re: approximate equality operator ("PEP 485 follow-up")