Function shr_round_down 

fn shr_round_down(i: &BigInt, rhs: usize) -> bool