HyperLogLog is now a thing