This is a follow-up of c95d5fbe FLT_MIN isn't the minimum floating point value, but the minimum normalized positive value of a float