half(float(-f64))
