On Wed, Jul 29, 2020 at 10:56 PM John Cowan <xxxxxx@ccil.org> wrote:The trouble is that |045| and 045 have different string representations. We should either go with the original list-of-symbols formulation, or we should go back to a hyphen/underscore separated string, which is what the rest of the planet uses (which is starting to look good after all).Or just use a first-class type. The printed representation is a separate issue,and for practical purposes we need to be able to parse the rest of the worldstrings regardless.--Alex