For each their own I suppose, but I think string->number looks nicer than either. Writing str instead of string is like writing ppl instead of people. Some

For each their own I suppose, but I think string->number looks nicer than either. Writing str instead of string is like writing ppl instead of people. Some people seem to prefer it (https://hn.algolia.com/?query=ppl&type=comment https://hn.algolia.com/?query=ppl&type=comment), but personally I find it almost intolerable.