0.5 ^ i32 / i
