Doesn't matter
Either way works, and is correct.
I originally learned it in Java a year ago:
int n = (int)(10.0 * Math.random());
Cool, I wrote this code to output something into the console:
function getOutputText(%text)
{
    eval("%text = \""@%text@"\";");
    return %text;
}
function outputTextToConsole(%text)
{
    %text = getOutputText(%text);
    %text = getSubStr(%text,0,strLen(%text));
    %text = strReplace("","",%text);
    echo(%text);
}
Then you just type this to echo something in the console:
outputTextToConsole(getWords("your text here",0,getwordCount("your text here")));
It works and it's correct - use that each time you want to echo something in the console now!