pub const DIVIDE: u64 = 0x4dc343d7222988ba; // 5_603_396_952_649_205_946u64