changing uint64 back to int64