結果 : python convert integer to string with leading zeros