type(i < i64)
