Cast to integer