SWI-Prolog represents floats using the C
double type. On
virtually all modern hardware this implies it uses 64-bit IEEE 754
floating point numbers. See also section
126.96.36.199. All floating point arithmetic is performed using C.
Different C compilers, different C math libraries and different hardware
floating point support may yield different results for the same
expression on different instances of SWI-Prolog.