/// A trait representing the additive identity for a type.
/// A trait representing the multiplicative identity for a type.
/// A trait for selecting values based on comparisons.
/// A trait representing a type that has an associated scalar type.