subfactorial is integer only if arg is nonnegative