cleanup / fix consistency in arith module