function main(input) {
  var N = input[0]-0;
  var list = [];
  for(var i=1;i<=N;i++) list.push(input[i]-0);
  list.sort((a,b)=>b-a);
  var ans = list[0]/2;
  for(var i=1;i<list.length;i++){
    ans += list[i];
  }
  console.log(ans);
}
main(require('fs').readFileSync('/dev/stdin', 'utf8').trim().split("\n"))
