对于float目标类型或double目标类型,如果值是下溢正值时,该值映射为0e0。

• The value is mapped to 0e0 when the value is a positive underflow for a float or double target type.