結果 : python add leading zeros to float