Update substr.txt

Document the usage of $substr to cast an integer as a string