Yeah, this concept is interesting but the fact that the simplest test case gives what's fundamentally a surprising result is very annoying.

It also doesn't help that in the example, the expected outcome of 53.3333/46.6667 isn't even considered.

You can do this with bidicalc already! You just have to model the problem correctly. If you expect the ratio to remain constant, what you actually want is a problem with a single free variable: the scale.

    A1 = 1.0       // the scale, your variable
    A2 = 6 * A1    // intermediate values
    A3 = 8 * A1 
    A4 = A2 + A3   // the sum

To get that, you could pass the ratio explicitly. C = 5A + 7B