// inputに入力データ全体が入る
function Main(input) {
	// 1行目がinput[0], 2行目がinput[1], …に入る
	input = input.split("\n");
	//文字列から10進数に変換するときはparseIntを使います
	var n = parseInt(input[0], 10);
    var ptotal=0;pbox=0;
	for(i=1;i<=n;i++){
        var p = parseInt(input[i], 10);
         ptotal+=p;
        if(pbox<=p){ pbox=p;}
   
    }
    console.log(ptotal-pbox/2);
}
//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));