cast result to integer