Include <cinttypes> instead of <inttypes.h>
Doc updates