Update HyperLogLog.php