Constant __INT_FAST64_MAX__ 

pub const __INT_FAST64_MAX__: u64 = 9223372036854775807;