Using values from float.h and fallbacking to hardcoded value