[eclipse-clp-users] Large integers and delayed goals

Hi,

I want to find positive natural numbers A, B, C, D, such that A^4 +
B^4 + C^4 = D^4.
My program do this:

    A #> 0, B #> 0, C #> 0, D #> 0,
    A #=< B, B #=< C, C #=< D,
    A*A*A*A + B*B*B*B + C*C*C*C #= D*D*D*D,
    labeling([A, B, C, D])

But I get incorrect result [1, 1, 9742, 9742] with 10 delayed goals.
As far as I understand, the system finds that the result is imprecise,
but correct enough because 9742^4 is a large number.
Probably floating arithmetic is used, not big integers...
Is there a way to force precise arithmetic for large integers?

Sergey.