str toString(num N)
import util::Math;
rascal>import util::Math; ok rascal>toString(12) str: "12" rascal>toString(3.14) str: "3.14"