cast wanted to an `int` to prevent compilation warning