結果 : python float to string with leading zeros