0.5 / i32 + i32
