Reflects the breaking API change from the public generic
modinverse(a, m) free function to the ModInverse trait with per-type
impls, plus the new bigint cargo feature.