結果 : python format integer as string with leading zeros