Pas à ma connaissance.
Mais vous connaissez peut-être des développeurs qui en ont envie, ou qui le font.
La monnaie Ǧ1 est déjà échangeable contre n’importe quoi, y compris des monnaies non libres.
- Voir liberté 3
et plus précisément ce passage :
Il n’est pas bien difficile en réalité d’exercer la troisième liberté. Étant donnés des prix, comptes, calculs, affichés dans une unité monétaire donnée, il est très simple, connaissant le prix de la monnaie choisie dans l’unité monétaire affichée (le taux de change, qui n’est qu’un prix comme un autre), de faire la transformation.
Clairement le change de monnaie n’est pas contraire à la TRM.
Cette discussion à déjà eu lieu, et durera encore des mois.