Closed wenzeslaus closed 6 months ago
This does not change the results.
I still want to do the actual change to rounding in a different PR, but we can use this PR to discuss what change needs to be done or I can just prepare another one applying rounding everywhere and we would go from there.