Substituting numbers in terms