(* This could segfault if GMP was enabled due to a bug in neg_longc. *)

val x = ~ (LargeInt.fromInt(valOf FixedInt.maxInt)) - 1;
PolyML.IntInf.gcd(x, 0);

(* This could segfault if GMP was enabled due to a bug in neg_longc. *)

val x = ~ (LargeInt.fromInt(FixedInt.toInt(valOf FixedInt.maxInt))) - 1;
PolyML.IntInf.gcd(x, 0);

Modify test so that it works if int is IntInf.int.
Modify test so that it works if int is IntInf.int.
