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