type(i32 >= i32)
