__float64__infsign output_value@sign