function main(arg) {
	arg = arg.trim().split("\n")
	var N = arg.shift()
	var sum = 0
	var max = 0
	for (var i = 0; i < arg.length; i++) {
		if (arg[i] > max) {
			max = arg[i]
		}
		sum += Number(arg[i])
	}
	console.log(sum - max / 2)
}
main(require('fs').readFileSync('/dev/stdin', 'utf8'));