function Main(input) {
  input = input.split("\n");

  n = input[0]
  p = input.slice(1, n + 1)

  top = Math.max.apply(null, p)
  sum = p.map(n => parseInt(n, 10)).reduce((n, m) => n + m)

  console.log(sum - (top / 2))
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));