結果 : python format decimal with leading zeros