Type constraints on InequalityTheoryWithEq class

[mtf90]

The JContraintsUtil#toVariable method returns a BigDecimal typed variable. This means that the call newVal.setValue in InequalityTheoryWithEq#instantiate must provide a BigDecimal value. Since by the signature of the instantiate method, the oldDVs are of type Set<DataValue<T>>, does this mean that InequalityTheoryWithEq only works with types T extends BigDecimal or should the constraint solver code should be broadened to other types as well?