__float64__onesign output_value@sign