10^{16} - 10^{-8}10^{16} - 10^{-8}double code() {
return ((double) (1e+16 - 1e-08));
}
double code() {
return ((double) (1e+16 - 1e-08));
}
Results
Initial program 0
Final simplification0
herbie shell --seed 2020153
(FPCore ()
:name "(- 1e+16 1e-08)"
:precision binary64
(- 1e+16 1e-08))