float.h is used only for DBL_MAX, it should be possible to remove that dependency.
float.h is used only for DBL_MAX, it should be possible to remove that dependency.