i64 ^ (0.5 / i32)
