let mul = mult_big_int