title: How to turn an integer into a string in ATS?
body: <p>I am in need of a function, say, int2string, that can convert a given integer into its string representation. If possible, int2string may take a second argument referring to the base of the representation. By default, this second argument is 10.</p>