function Main(input) {
  input = input.split("\n");
 
  var n = parseInt(input[0], 10)
  var p = input.slice(1, n + 1).map(n => parseInt(n, 10))
 
  var top = p.reduce((n, m) => n >= m? n: m)
  var sum = p.reduce((n, m) => n + m)
 
  console.log(sum - (top / 2))
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));