Cast to uintmax_t to avoid printf warnings.