{-# OPTIONS_GHC -O2 -funbox-strict-fields #-}
import           Control.Monad (replicateM)

main :: IO ()
main = do
  n <- readLn
  ps <- replicateM n readLn
  print $ solve n ps

solve :: Int -> [Int] -> Int
solve _ ps = sum ps - maximum ps `div` 2
