i64 ^ half(f64)
