let lor_big_int n1 n2 =
let n1 = byte_list_of_big_int n1 in
let n2 = byte_list_of_big_int n2 in
let rec continue l1 l2 =
match l1, l2 with
[], _ -> []
| _, [] -> []
| n1::l1, n2::l2 -> n1 lor n2::continue l1 l2
in
big_int_of_byte_list (continue n1 n2)