Arithmetic combinator