<rdar://problem/13246939>

Make format uint64_t[] actually work as designed