pub const GMP_NAIL_BITS: u32 = 0;