__float32__min_normal_exp output_value