let shift_right = shift_right_big_int