0. I had one at some point a few years aback but I deleted the miner and the wallet along with it.
What happens to the coin in your deleted wallet?
You'll know if that happens, though, since the technique will obviously be used on the largest wallets first.
Side note: interestingly, right now, the largest wallet appears to be Dread Pirate Roberts' seized bitcoins held by the FBI.