type(i64 <= i64)
