Re: Number in a module-name

[Diogo F. S. Ramos]

>> Is it possible to have a number as a module-name component?
>>
>> e.g. (define-module (42 bar))
>
> At present, module name components must be symbols.

Could I use something like (define-module (#{42}# bar))?