utils in Symbol.Arith