half(f64) / f32
