static_cast_, aggregate, sum, product