Re-implementing factorial2

Avoiding recursion, extending to negative odd integers.

There's no reason that subfactorial will be defined for integers from -1 and up only.