64-bit defines for int64_t and uint64_t