Use intmax_t to print uint64_t values.

This fixes the 32-bit build where the types are different.