Use DBL_MIN as Number.MIN_VALUE if denormal numbers are not available