i32 ^ (i64 * 0.5)
