let of_string = big_int_of_string