pub const GSL_SF_DOUBLEFACT_NMAX: u32 = 297;