i32 > 0.5 + 0.5
