let log_shift_right_big_int x y = (* no meaning for negative value of x *) if (Big_int.lt_big_int x Big_int.zero_big_int) then raise (Invalid_argument "log_shift_right_big_int") else shift_right_big_int x y