additive.of_mul source