let
int64_of_big_int = my_int64_of_big_int