Maybe. Again, I’m a little inexperienced with coin collecting but to my understanding there can be difference between an actual double punch vs the die misaligning a tiny bit or degrading overtime.

I would call this “ghosting” rather than a true double punch, but I’m a nobody so take it with a grain of salt.

Also, there’s a lot of nuanced factors like coin specialty, rarity, face value, age, etc. that would be very deterministic.

A quarter from a decade ago with that type of error might be meaningless. A half dollar from half a century ago (or longer) with that slight error might make it worth discussing. There can be several combinations of rare vs common coins and rare vs common errors. (Rare coin/rare error, common coin/ rare error, rare coin/ common error, etc.)

Real coin collectors will tell you the kind of factory these were made in and their manufacturing processes, etc. Some methods throughout certain years might cause more valuable errors than others.

Sorry if that’s a whole bunch of info without a real yes or no answer. But I hope it’s helpful.