It seems every contract instance has a member
balance, as per Solidity documentation:
It also means that
this.balancecan be higher than the sum of some manual accounting implemented in a contract (i.e. having a counter updated in the fallback function).
Where is documented all the members of this base contract?