double operator *(num other)

Multiplication operator.

Source

double operator *(num other);