function Main(input) {
  input = input.split("\n");
  var N = parseInt(input[0]);
  p=new Array(N);
  var pmax=0;
  for(i=0;i<N;i++){
    p[i]=parseInt(input[i+1]);
    pmax=Math.max(pmax,p[i]);
  }
  var ans=0;
  var flag=0;
  for(i=0;i<N;i++){
    if(p[i]==pmax&&flag==0){
      ans+=p[i]/2;;
      flag=1;
    }else{
      ans+=p[i];
    }
  }

  console.log('%s', ans);
}
  
// "実行する"ボタンを押した時に実行される関数 (デバッグ用)
function debug(){
  var input = document.getElementById("input").value;
  Main(input);
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));