Cast to an int