Added HyperLogLogSpec