let
shift_right = shift_right_big_int