etcdserver: use int64slice directly