Constant __INT_FAST64_MAX__

pub const __INT_FAST64_MAX__: u64 = 9223372036854775807;