si può arrotondare un numero sempre per difetto?