u64: avoid theoretical problem with >64-bit int * lib/u64.h: Include limits.h, for INT_MAX. Use uint64_t only if INT_MAX < UINT64_MAX, to avoid undefined behavior on theoretical platforms where adding two uint64_t expressions can have undefined behavior on signed integer overflow.