結果 : python string format integer leading zeros