double operator +(num other)

Addition operator.

Source

double operator +(num other);