arithmetic methods on Expr