const LIMB_BITS: usize = 128;