Constant antic::FLINT_BITS

pub const FLINT_BITS: u32 = 64;