python format string float as int