This should be an `int`, but yes, should be cast rather than adding `0` to make it an `int`