Some BigIntMod-related refactoring. Formatting.