Falling and Rising factorials of integers are integers

Assuming both arguments are integers, the function output is also known to be
integer.

I have also added a test for the output type of `binomial(n, k)`.
because binomial returns 0 for k < 0 or n < k