float initialzed value is FTL_MAX not DBL_MAX