pub const GMP_NUMB_BITS: u32 = 64;