結果 : format integer with leading zeros python