結果 : format integer to string with leading zero python