subfactorial is an integer
Merge pull request #8494 from pelegm/subfactorial_is_integer

subfactorial is an integer