fix uint64_t to int64_t