Implementing some arithmetic through recursive functions primitives.