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)`.