binomQ function

Exact Rational Binomial Probabilities