[Python-Dev] float formatting