Work around a size_t 32-bit issue

I'm just casting here because I'm too lazy to remember what I called
that SIZET_FORMAT macro, and because this is never going to be larger
than 10.