On Sunday, 3 July 2016 at 09:52:38 UTC, Guillaume Boucher wrote: > This is the correct answer for another definition of "precisely > convertible", not the one Andrei gave. True, I see now that he actually asked for unique representation, not precisely convertible.