How to convert number to string in TLA+

Question

Effectively, I want to build a {"1", "2", "3", ..., "N"} set from 1..N set. How do I convert numbers to strings?

Answer 1

The TLC module provides a ToString operator.