Исключение виртуального деструктора, когда единственный производный класс не добавляет дополнительных переменных

У меня есть класс Literal, который на самом деле просто оболочка для (const int). Я хочу иметь второй класс PositiveLiteral, который наследуется от Literal, но имеет конструктор, который утверждает, что его значение положительное.

class Literal {
public:
Literal(int x):x(x){}
virtual ~Literal(){}
// Other methods
private:
const int x;
}

class PositiveLiteral : public Literal {
public:
PositiveLiteral(int x):Literal(x) {
assert(x > 0)
}
}

Таким образом, функции, которые ожидают положительный литерал, могут просто принять PositiveLiteral в качестве аргумента. Тогда мне не нужно помещать явные утверждения в мой код, и, более того, там, где эти утверждения потерпят неудачу, я сразу понимаю, почему.

Я не ожидаю, что иначе унаследую от Literal, за исключением одного случая. Тем не менее, поскольку существует наследование, я должен дать Literal виртуальный деструктор, чтобы избежать неопределенного поведения, которое кажется глупым, потому что PositiveLiteral не имеет связанной с ним exra-информации, которой нет у Literal. Это просто способ поддержать утверждение, не делая его явным.

Как еще можно выполнить ту же задачу без использования виртуального метода, который должен быть простым классом-оберткой?