Is the amount rounded before or after taxes? Must be after or you have to round again. So who eats or gains the rounding? The merchant or the tax collector?