__float64__min_normal_exp output_value