Constant antic::FLINT_PRIMES_SMALL_CUTOFF

pub const FLINT_PRIMES_SMALL_CUTOFF: u32 = 1030;