python format float to string with precision