i32 > 0.5 + 1
