Explicitly cast to NSInteger