uint64_t is a typedef defined in stdint.h. std::uint64_t is defined in the std namespace in <cstdint>
http://en.cppreference.com/w/cpp/language/namespace
Or just '#include <stdint.h>'. C++ is TIMTOWTDI too!
Going the route `using std::uint64_t`, you'd have to do that for every basic type. Which is fine. I'd just use that in a general header that's included everywhere in a project (stdafx, or what have you). Though at that point it doesn't really matter which you pick.