No they aren't a part of their "pension" per se, however it is discretionary spending and equivalent of an income, something that most of society doesn't benefit from.
So if you want to be fair when you compare the income of a superannuant or pensioner to that of a former PM you should include the PMs extra entitlements in the total even if you ignore other income from the lecture circuit or sitting on boards.

