[objective-c] Convert NSNumber to int in Objective-C