Avoid compiler warning on 64-bit

NSNumber(-)integerValue returns a size-changing NSInteger; when
pairing with a %d format character use NSNumber(-)intValue which
returns the expected 'int' type.

Change-Id: I40c61c68291154b47ecceea2d55209099ccd2442