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