half(f64) - f64
