std::uint32_t located at \<cstdint\>