python format float as integer