not (i32 < i32)
