why are you casting these to `int`?