[][src]Constant antic::NMOD_DIVREM_DIVCONQUER_CUTOFF

pub const NMOD_DIVREM_DIVCONQUER_CUTOFF: u32 = 300;