- doublefactorial now falls back directly to CLN, which is much faster.