Factorial2 (!!) of an integer is an integer

`factorial2` of an integer is now known to be an integer. This is done via an implementation of `_eval_is_integer`.
btw, I think `foo1.is_bar and foo2.is_bar` - very common pattern in the sympy.