Constant antic::NMOD_DIV_DIVCONQUER_CUTOFF

pub const NMOD_DIV_DIVCONQUER_CUTOFF: u32 = 300;