Есть ли гарантия, что для каждого скаляра `T` существует целое число того же размера?

Если T является скалярным типом, а N = CHAR_BIT * sizeof(T) гарантируется ли существование uintN_t? Если нет, верно ли это в большинстве случаев, но с несколькими исключительными типами случаев? ( long double и указатели функций-членов приходят на ум. )

Для справки:

• intN_t, uintN_t

  • N1548 §7.20.1.1 ¶3: "These types are optional. However, if an implementation provides integer types with widths of 8, 16, 32, or 64 bits, no padding bits, and (for the signed types) that have a two’s complement representation, it shall define the corresponding typedef names."

• scalar types

  • N3242 §3.9 ¶9: "Arithmetic types, enumeration types, pointer types, pointer to member types, std::nullptr_t, and cv-qualified versions of these types are collectively called scalar types."