HashMap: Use explicit cast to get the hash code