let shift_left_big_int x y = (* idem multiplication *) mult_big_int x (power_int_positive_big_int 2 y)