factorial of non-integer may be integer
Merge pull request #8525 from pelegm/factorial_is_integer

factorial of non-integer may be integer