[Python-Dev] Re: Should we require IEEE 754 floating-point for CPython?