Combinatorics
factorial : U64 -> U64
The factorial of n is product of all the integers from 1 to n.
choose : U64, U64 -> U64
The binomial coefficient, the number of ways of choosing k things from a collection of size n.