(i32 / 0.5) ^ i32
