Why cast to int here instead of staying with NSUInteger?