poly_int: PUSH_ROUNDING