Constant PRESENT

pub const PRESENT: u64 = 0x36967062cdd2c37e; // 3_933_454_894_216_954_750u64