Difficulties with promoting numbers

[ChrisRackauckas]

@foobar_lv2

The problem is that I used X, which has MyPackage as a dependency, as well as Y, which has YourPackage as a dependency. I never cared about MyPackage or YourPackage.

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