ScriptPlugin: int.toString, str.toInt