double operator /(num other)

Division operator.

Source

double operator /(num other);