n = gets.to_i
pList = []

n.times do
  pn = gets.to_i
  pList.push(pn)
end

pList.sort!.reverse!

ans = 0
for i in 0..pList.length-1 do
  if i == 0 then
    ans += (pList[i] / 2)
  else
    ans += pList[i]
  end
end

puts ans
