Constraints on Numerical Expressions