cast result into integer