Constant __INTMAX_MAX__ 

pub const __INTMAX_MAX__: u64 = 9223372036854775807;