deal with stupid float formatting under Python 2.6