結果 : python format integer leading zeros