Più ci penso e meno la cosa mi convince, anche io pensavo che per la media andasse usato un numero reale, però mi sa che anche se non si fa è lo stesso proprio perchè i numeri del file sono interi.....