Thank you! If a card has a numerical value as a name, is the best way to access the card globally to use:
deck.cards["123"]
Yes; That's how you'll need to do it.As a general rule, though, I strongly recommend naming cards and widgets with valid Lil identifiers; it makes scripting much easier and less error-prone.
