Symbol: writeInput_a_float64