arith binary predicates are polymorphic