Implemented nonprimitive arithmetic