Mint marks can be repunched.. That's why they are called Repunched Mint marks.. But they are not Doubled die.