Macro with_int_pair 

macro_rules! with_int_pair {
    ($a:expr, $b:expr, |$x:ident, $y:ident| $body:expr) => { ... };
}

Runs $body with $x and $y bound to the integers of $a and $b at one width: their own when they share it, and otherwise both widened to 64 bits.