For internal consistency, use `(int)` here, not `(integer)`