Changed The Way We Calculate Improvement To Better Handle Infs and NaNs
Changed The Way We Calculate Improvement To Better Handle Infs and NaNs

We used to consider a point that went from inf or nan to a real number
to always be 64 bits of improvement, no matter how far off that real
number was from the actual result. Now, we consider those points to be
an improvement of (64 - final-error).

jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie