Use long format modifiers and insert casts to make the code happy both
as 32- and 64-bit.

(Sure, this is just in temporary debugging output NSLog() calls.)

Change-Id: I7c05c59a76e683b3401974c2b468d1aee2de4098