pub const BIT53: u64 = 9007199254740992;