ZZ operator /(const ZZ& z) const { return (*this) * z.inverse(); }
void operator /=(const ZZ& z) { (*this) *= z.inverse(); }