let big_int_of_int64 = my_big_int_of_int64