String Xtend：如何将整数转换为字符串？

在Xtend中将整数转换为字符串的首选方法是什么？还有比这更好的方法吗

var int port = 12345
var String portStr = "" + port

---

谢谢我只是好奇，在“官方”文件中我在哪里可以找到它。。。

var portString = port.toString