f32 ** half(f64)
