Please cast both to `(integer)` - you never, ever can be too safe...