Function ext_factorial 

pub fn ext_factorial(v: &BigInt) -> Option<BigInt>

! y on a whole number: the exact factorial. None for a negative argument (a pole) or one large enough to exhaust the machine.