mhh.. why?
It was either set to max or not.
Noone sets it to max-eps.
If it was set to float::max, an then casted to double the value is very different anyways...