从Chuck中的文件读取Ints

我有查克密码:

"examples/vento.txt" => string filename;
FileIO fio;

// open a file
fio.open(filename, FileIO.READ);

// ensure it's ok
if(!fio.good()) {
    cherr <= "can't open file: " <= filename <= " for reading..." <= IO.newline();
    me.exit();
}

fio.readLine() => string velocity;

fio.readLine() => string direction;

文本文件包含:

10
12

(每分钟更新一次python)

我想把速度和方向转换成int(或者更好的float)。

我该怎么做?