jsonexpr/operators/greater_then_operator library