pub const BIT31: u32 = 2147483648;