In case anyone cares about this: I proposed truncation at the first decimal point. Ex responded that that could lead to a situation in which the two halves of the ratio summed to 99.9%, and what did I propose to do about that? I will suggest that in that case we each agree to pay on one half of one tenth of one percent of S7 expenses, which will amount to somewhat less than four dollars per year. I will source these funds from the change compartment in my car. This is just surreal.