* lib/stdint_.h (int64_t, uint64_t): Don't undefine if 64-bit