[Python-Dev] Floating-point implementations