Full y functional arithmetic