I just came across this 1982P Roosevelt Dime. Not sure if it is a true Doubled Die or just Machine Doubling. Thank for any input.