half(f64) ^ f32
