Added a pretty printer for arithmetic