let
shift_left = shift_left_big_int