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