Constant micro_ecc_sys::INTPTR_MAX

pub const INTPTR_MAX: u64 = 9223372036854775807;