type(i64 >= i)
