let
i_compute f x y =
Tint
(
My_bigint
.to_string (f (
My_bigint
.of_string x) (
My_bigint
.of_string y)))