Constant antic::GMP_LIMB_BITS

pub const GMP_LIMB_BITS: u32 = 64;