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