Cast to `(int)` here