Implementation of "area" aggregate_type