Macro integer_sum_product

macro_rules! integer_sum_product {
    (@impls $zero:expr, $one:expr, #[$attr:meta], $($a:ty)*) => { ... };
    ($($a:ty)*) => { ... };
}