Fix uint64_add