rplus function

Amounts i.e. positive numbers analysed as objects of the real vector space