added arith utils qe class for dealing with constants