// Operations on values.