Возможно ли быть виртуальным подклассом встроенного типа?

Не уверен, что именно вы пытаетесь сделать, поскольку то, что вы просите, невозможно, поскольку примитивные типы практически неизменяемы. Однако вы можете переопределить __iadd__ и тому подобное, чтобы вернуть результат нужного вам типа. Обратите внимание, что я поменял местами знаки (использовал - вместо +) для драмы.

>>> class MyInt(int):
...     def __iadd__(self, other):
...         return MyInt(self - other)
...     def __add__(self, other):
...         return MyInt(self - other)
... 
>>> i = MyInt(4)
>>> i += 1
>>> type(i)
<class '__main__.MyInt'>
>>> i
3
>>> i + 5
-2
>>> type(i + 5)
<class '__main__.MyInt'>

Промойте и повторите для остальных магических методов, которые вам все равно нужно было бы сделать, чтобы иметь «правильный» подкласс int (даже если «виртуальные» пользователи могут ожидать, что они будут работать определенным образом).

О, да, для расширения (как будто это уже не безумие) используйте self.__class__ вместо результатов

class MyInt(int):
    def __iadd__(self, other):
        return self.__class__(self - other)

Итак, если у нас есть еще один подкласс этого.

>>> class MyOtherInt(MyInt):
...     def __iadd__(self, other):
...         return self.__class__(self + other)
... 
>>> i = MyOtherInt(4)
>>> i += 4
>>> i
8
>>> type(i)
<class '__main__.MyOtherInt'>