casting linenos to int