float(half(-f64))
