metrics: use PRIu64 for format.