5.4.13 Transform an integer into a string:
cat +
Use
cat
with the integer as argument, or add the integer to an empty string
Input:
""+123
or:
cat(123)
Output:
"123"