Fix 64bit string formatting issues on iOS

Some basic fixes to string formatting for 64bit iOS.