input = require('fs').readFileSync('/dev/stdin', 'utf8')
lines = input.split('\n')
N = lines.shift() * 1
max = 0
sum = 0
for (i=0;i<N;i++) {
    sum += lines[i] * 1
    if (max < lines[i] * 1) {
      max = lines[i]
    }
}
console.log(sum - max / 2)