Pretty printing for arithmetic.