Function shr 

pub fn shr(b: &mut Builder, x: &Mw, y: &Mw) -> Mw

a.wrapping_shr(b as u32) on the signed value (arithmetic).