Constant antic::GMP_NAIL_BITS

pub const GMP_NAIL_BITS: u32 = 0;