Function ushr 

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

(a as u64).wrapping_shr(b as u32) (logical).