i32 ^ half(f64)
