let asr_big_int n1 n2 = let two = Big_int.big_int_of_int 2 in let rec continue i n = if i <= 0 then n else Big_int.div_big_int (continue (i - 1) n) two in continue (int_of_big_int (mod_big_int n2 int_const_64)) n1