to round down
Oder wir könnten auf 20 abrunden... und die restlichen 0,2 an unsere Freunde verkaufen.
Or we could round down to 20, take the extra 0.2, sell it to our friends.