Module combinatorics 

Counting, exactly in integers.

Functions

binomial

n choose k, exactly, for the small n of a polynomial’s degree: each partial product is itself a binomial coefficient, so every division is exact.