My opinion is that we should fix the rounding issues downstream