Fix uintmax_t printf format arguments.

Fixes	#1432