macro_rules! saturating_impl {
    ($trait_name:ident, $method:ident, $t:ty) => { ... };
}