var IsTest = false;

var Main = function(Input){
  var Arr = Input.split('\n');
  var Max = 0;
  var Total = 0;

  for(var i=1;i<=Number(Arr[0]);++i){
    var CurrentNum = Number(Arr[i]);
    if(Max < CurrentNum){
      Max = CurrentNum;
    }
    Total += CurrentNum;
  }

  Total -= Max / 2;

  console.log(Total);
}

if(IsTest){
  Main(require("fs").readFileSync(__dirname+'/in.txt', "utf8"));  
} else {
  Main(require('fs').readFileSync('/dev/stdin', 'utf8'));
}
