__float64__max_normal_exp output_value