__float64__max_normalsign output_value@sign