Make sure int64_t and uint64_t are consistent.