Fixing is_integer test for factorial2

Now it knows it is an integer iff the argument is also at least -1.