tract_core::ops::logic::greater