[−][src]Constant antic::FLINT_PRIME_PI_ODD_LOOKUP_CUTOFF

pub const FLINT_PRIME_PI_ODD_LOOKUP_CUTOFF: u32 = 311;