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