結果 : int to string padded with zeros python