Currently, 2 x / 3 y simplifies (per TermPartialSplitter) to 0.66 (x / y). This is nicer for a lot of our algebra, and it's also simpler to produce (since it fits neatly into our Term abstraction). But in principle, 0.66 x / y (equivalently written more explicitly as (0.66 x) / y) is the more natural mathematical way to write it (with the constant coefficient in the numerator).
Currently,
2 x / 3 ysimplifies (perTermPartialSplitter) to0.66 (x / y). This is nicer for a lot of our algebra, and it's also simpler to produce (since it fits neatly into ourTermabstraction). But in principle,0.66 x / y(equivalently written more explicitly as(0.66 x) / y) is the more natural mathematical way to write it (with the constant coefficient in the numerator).