Factorial2 (!!) of an integer is an integer