Pushing Aggregate Constraints by Divide-and-Approximate