Allow better optimization for invmod and large modulus
Add binomial, valuation, and invmod