stringPrintf() 64-bit compatibility