number-to-string

• converts a number to a string e.g. for use with message
• also called int-to-string