The tool has been restarted.
=============== Test number 1 ================
NaN
[NaN;NaN]
The tool has been restarted.
=============== Test number 2 ================
The precision has been set to 53 bits.
8388608, 5.908992726796372e-12
8388609, 1.1860607934483566e-13
The tool has been restarted.
=============== Test number 3 ================
2147483647 * x^2147483646
The tool has been restarted.
=============== Test number 4 ================
NaN
The tool has been restarted.
=============== Test number 5 ================
true
true
true
true
true
true
1.233455646547894351534646584685465165146546135100546645604654654654654684864654165464654e87  should be 1233455646547894351534646584685465165146546135100546645604654654654654684864654165464654
4097  should be 4097
4096  should be 4096
4097  should be 4097
The tool has been restarted.
=============== Test number 6 ================
Warning: equality test relies on floating-point result that is not faithfully evaluated.
true
Warning: equality test relies on floating-point result that is not faithfully evaluated.
true
Warning: equality test relies on floating-point result that is not faithfully evaluated.
true
Warning: equality test relies on floating-point result that is not faithfully evaluated.
false
Warning: equality test relies on floating-point result that is not faithfully evaluated.
false
Warning: equality test relies on floating-point result that is not faithfully evaluated.
false
Warning: equality test relies on floating-point result that is not faithfully evaluated.
false
Warning: equality test relies on floating-point result that is not faithfully evaluated.
true
Warning: equality test relies on floating-point result that is not faithfully evaluated.
true
Warning: equality test relies on floating-point result that is not faithfully evaluated.
false
Warning: equality test relies on floating-point result that is not faithfully evaluated.
true
true
true
true
true
true
true
true
true
true
true
true
