1 ^ 0.5 ^ i32
