Macro require_lte 

macro_rules! require_lte {
    ( $left:expr, $right:expr, $err:expr ) => { ... };
    ( $left:expr, $right:expr ) => { ... };
}

Assert left <= right. Anchor-parity sibling of require_gte!.