function main(input) {
  const args = input.split('\n').map(n => parseInt(n, 10));
  const N = args[0];
  let ary = [];
  let sum = 0;
  
  for (let i = 1; i < args.length; i++) {
    ary.push(args[i]);
  }
  
  ary = ary.sort((a, b) => {
    return b - a;
  });
  
  for (let i = 0; i < ary.length; i++) {
    if (i === 0) {
      sum += (ary[i] / 2);
    } else {
      sum += ary[i];
    }
  }
  console.log(sum);
}

main(require('fs').readFileSync('/dev/stdin', 'utf8'));