結果 : format integer python leading zeros