Method bigIntCheck

examples/java/JavaExample.java:1131–1135

(Context ctx, RatNum r)

    }

    void bigIntCheck(Context ctx, RatNum r)
    {
        System.out.println("Num: " + r.getBigIntNumerator());
        System.out.println("Den: " + r.getBigIntDenominator());
    }

    // / Find a model for <code>x xor y</code>.