Symbol: __DBL_MIN