Divide this number by another, modulo the MuHash prime.
Declared in <crypto/muhash.h>
<crypto/muhash.h>
void Divide(Num3072 const& a);