Some fun with redis' HyperLogLog