Constant antic::GMP_NUMB_BITS

pub const GMP_NUMB_BITS: u32 = 64;