Ibex-lib changing standard double definition

[schmittjoaopedro]

After installing ibex integration for linux environments (or MacOSX), the ibex.build is changing the default double behavior for Java. The following listing presentes the problem using the pow operation before and after calling ibex.buid();

Ibex ibex = new Ibex(new double[]{0.000001, 0.000001});
ibex.add_ctr("{0}=acos({1})");
System.out.println(Math.pow(10, 6)); // Prints: 1000000.0
ibex.build();
System.out.println(Math.pow(10, 6)); // Prints: 1000000.0000000001

Environment

• Choco-solver version: 4.10.4
• Java version: OpenJDK 14 x64
• Ibex: 2.8.7