double operator *(num other)

Multiplication operator.

Source 

double operator *(num other);