make toArith independent from SQL rendering