結果 : python 3 format integer with leading zeros