10^{10} - 10^{8}10^{10} - 10^{8}double code() {
return ((double) (10000000000.0 - 100000000.0));
}
double code() {
return ((double) (10000000000.0 - 100000000.0));
}
Results
Initial program 0
Final simplification0
herbie shell --seed 2020152
(FPCore ()
:name "(- 10000000000.0 100000000.0)"
:precision binary64
(- 10000000000.0 100000000.0))