let shift_right_logical = log_shift_right_big_int