Maxima Function
cdf_binomial (x,n,p)
Returns the value at x of the distribution function of a Binomial(n,p) random variable, with 0<p<1 and n a positive integer.
This function is numerically computed if the global variable numer equals true, otherwise it returns a nominal expression.