1606: as_sum error if integral is not definite