Proposed resolution:

The wording refers to N3126.

1. Add the following series of new paragraphs following [c.files] p.1:

   Table 132 describes header <cinttypes>. [Note: The macros defined by <cinttypes> are provided unconditionally. In particular, the symbol __STDC_FORMAT_MACROS, mentioned in footnote 182 of the C standard, plays no role in C++. — end note ]

   2 - The contents of header <cinttypes> are the same as the Standard C library header <inttypes.h>, with the following changes:

   3 - The header <cinttypes> includes the header <cstdint> instead of <stdint.h>.

   4 - If and only if the type intmax_t designates an extended integer type ([basic.fundamental]), the following function signatures are added:

   intmax_t abs(intmax_t);
   imaxdiv_t div(intmax_t, intmax_t);
   

   which shall have the same semantics as the function signatures intmax_t imaxabs(intmax_t) and imaxdiv_t imaxdiv(intmax_t, intmax_t), respectively.