subfactorial is an integer