let shift_right_big_int x y = (* idem division rounding to -oo *) Big_int.div_big_int x (Big_int.power_int_positive_big_int 2 y)