結果 : python format integer to string with leading zeros