pub trait SignedExpBits { type T: ExpBits; // Required method fn neg_and_bits(self) -> (bool, Self::T); }