i32 - 0.5 < i32
