(PUP-2663) Specify String<->Numeric conversion

This cleans up the specification of conversion between string and
numeric values. It also updates it to specify the grammar of strings
that are able to be converted, which is what was implemented by
PUP-2663.
maybe say "can" instead of "is" to make it clear that this is not a statement about the implementation of the language.