Adding more decimals is the only fair solution for both parties.
Either this, or round fairly, because on average it would even out.
Mischarged is going to far. It was according to their posted (but dumb) policy.
+1, it's not like it wasn't clearly laid out.