Factorial2 (!!) of an integer is an integer
Merge pull request #8490 from pelegm/factorial2_is_integer

Factorial2 (!!) of an integer is an integer