Kerim Aydin wrote: >It might be useful to define fungible instances for certain classes of >trinkets, too.
Not particularly. Fungibility is a pain to work with. Currencies were always fundamentally fungible, but implicit rounding and the MUQ were invented to make them more managable. I suggest using a strictly quantised model this time round. -zefram