"use strict";
function main(input) {
  const inputs = input.split("\n").filter(x => x !== "");
  let output;

  let N = inputs[0];
  let p = inputs.slice(1).map(p => Number(p));

  let max = 0;
  let maxIndex = -1;
  for (let i = 0; i < p.length; i++) {
    if (p[i] > max) {
      max = p[i];
      maxIndex = i;
    }
  }

  output =
    max / 2 +
    p.filter((p, index) => index !== maxIndex).reduce((cur, acc) => cur + acc);

  console.log(output);
}

main(require("fs").readFileSync("/dev/stdin", "utf8"));
