Do we really need the cast to `int`?