i32 != i32 - 0.5
