double operator /(BigInt other)

Division operator.

Source

double operator /(BigInt other);