--- pl-5.6.25.orig/src/test.pl 2006-12-21 23:37:15.000000000 +1300 +++ pl-5.6.25/src/test.pl 2007-03-10 19:36:58.000000000 +1300 @@ -329,11 +329,11 @@ -1 is truncate(-1.9). :- if(current_prolog_flag(bounded, false)). arithmetic(floor-2) :- - A is floor(9223372036854775808.000000), - A == 9223372036854775808. + A is floor(9223372036854777856.000000), + A == 9223372036854777856. arithmetic(ceil-2) :- - A is ceil(9223372036854775808.000000), - A == 9223372036854775808. + A is ceil(9223372036854777856.000000), + A == 9223372036854777856. :- endif. arithmetic(round-2) :- A is round(9223372036854775808.000000),