show (<> 1 <2>).
show (<> 1 (<1> 1 <1, 2> 2 <1, 4> 4 <1, 8>)
      9 (<3> 0.2 <3, 2> 0.4 <3, 7> 0.1 <3, 21>)).

demo 100 with kind (<> 1 <2>).
demo 100 with kind (<> 1 <2> 3 <4>).
demo 100 with kind (<> 1 <2> 2 <3>).
demo 100 (<> 1 (<2> 2 <2, 3> 3 <2, 4>) 5 (<3> 4 <3, 7> 4 <3, 8>)).
demo 100 with kind (<> 1 (<2> 1 <2, 3> 1 <2, 4>) 1 (<5> 2 <5, 5> 3 <5, 10>)).
demo 100 with kind (<> 1/7 (<2> 1 <2, 3> 1 <2, 4>) 1 (<5> 2 <5, 5> 3 <5, 10>)).
demo 100 with kind (<> 1/7 (<2> 1 <2, 3> 1 <2, 4>) 1 (<5> 2 <5, 5> 3 <5, 10.2>)).
demo 100 with kind (<> 1 <2> 2 <2e10>).
demo 100 with kind (<> 1/7 (<2> 1 <2, 3> 1 <2, 4>) 1 (<5> 2 <5, 5> 3 <5, 10.2>)).
demo 100 with kind (<> 1/7 (<2> 1 <2, 3> 1 <2, 4>) 1 (<5> 2 <5, 52.0e-5> 3 <5, 10.2>)).
demo 100 with kind (<> 1/7 (<2> 1 <2, 3> 1 <2, 4_000_000>) 1 (<5> 2 <5, 52.0e-5> 3 <5, 10.2>)).
demo 100 with kind (<> 1 (<2> 1 <2,3>) 2 (<3> 1 <3,4>)).
demo 100 with kind (<> 1/17 <2> 3/5 <3/7>).
demo 100 with kind (<> 1/17 <2> 3/5 <3>).
demo 100 with kind (<> 1 (<2> 1 <2, 3>) 2 (<3> 1 <3, 4/7>)).
demo 10000 with kind
(<> 1 (<1> 1 <1, 2> 2 <1, 4> 4 <1, 8>)
    9 (<3> 0.2 <3, 2> 0.4 <3, 7> 0.1 <3, 21>)).
demo 10000 with kind (<> 1e-5 (<1> 1 <1, 1> 2 <1, 2>) 1e-5 (<0> 10 <0, 10> 20 <0, 20>)).


buy 100 @ 1.2, 3.4 with kind (<> 1 <2> 3 <4>).
buy 100 @ 1.2, 3.4 with kind (<> 1 <2>).
buy 1_000_000 @ 1 with kind (<> 100 <-1> 300 <0> 200 <10>).
buy 1_000 @ 1,2,3 with kind (<> 100 <-1> 300 <0> 200 <10>).


compare 10 (<> 1 <2>) (<> 1 <3>).
compare 1000 with kinds (<> 1 <1> 2 <2>) (<> 1e-5 (<1> 1 <1, 1> 2 <1, 2>) 1e-5 (<0> 10 <0, 10> 20 <0, 20>)).
compare 100 (<> 1 (<1> 1 <1, 2> 2 <1, 4> 4 <1, 8>)
                9 (<3> 0.2 <3, 2> 0.4 <3, 7> 0.1 <3, 21>))
        and (<> 1/7 (<2> 1 <2, 3> 1 <2, 4>) 1
                    (<5> 2 <5, 52.0e-5> 3 <5, 10.2>)).
