Constant INT64_MAX 

pub const INT64_MAX: u64 = 9223372036854775807;