Returns the factorial of `n,' which should be an integer. The result will returned as an integer or bignum. This implementation is exact, but is more computationally expensive than `factorial,' which is to be preferred.