cast to `(int)` ?