As an additional cost to cast this spell, exile half the cards in your library, rounded down.

Destroyer has annihiliator X, where X is the number of historic cards exiled with it.