i32 > i32 - 0.5
