Not a Doubled Die. Just classic Machine Doubling. Machine Doubling reduces the size of the devices, while a real Doubled Die would increase the size of the devices. Doubled Dies never reduces the size of the devices. Only Machine Doubling does that.
Errers and Varietys.

























