Difficulties with promoting numbers

This is still local. The fact that bad promotion code can exist is an entirely separate issue from type-piracy and not really relevant.