cast result to int