(uint64_t): Define to uintmax_t if