[Python-Dev] stupid floating point question...