Deluxe player list now shows exact elo by default

I don't understand why it was rounded by default. Maybe the whole code for rounding should be removed, it seems obsolete to me.