f32 ^ half(f64)
