結果 : integer to string with leading zeros python