note about arith widening