pub const BIT57: u64 = 144115188075855872;