var toInt = x=>parseInt(x,10);
var toIntArr = arr=>arr.map(x=>toInt(x));
var abs = x=>x>0?x:-x;
function min(){var rest = arguments,val=rest[0];for(var i=1;i<rest.length;i++)if(rest[i]<val)val = rest[i];return val}
function max(){var rest = arguments,val=rest[0];for(var i=1;i<rest.length;i++)if(rest[i]>val)val = rest[i];return val}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));
 
function Main(input){
	var input = input.split('\n');
	input = input.map(e => toInt(e));
	var n = input[0];
	var ans = 0;
	var M = 0;
	var x = 0;
	for(var i = 1; i <= n; i++){
		x = input[i];
		ans += x;
		M = max(M,x);
	}
	ans -= M/2;
	ans = toInt(ans);
	console.log(ans);
}