Adding more decimals is the only fair solution for both parties.
Either this, or round fairly, because on average it would even out.
I think this could likely be gamed unless rounding were done randomly (and then it is difficult to audit) and it would not average out.