What is the average price before discount of the top 10 orders with the highest total price?
DIVIDE(SUM(l_extendedprice), 10) where MAX(o_totalprice);
SELECT SUM(T2.l_extendedprice) / 10 FROM orders AS T1 INNER JOIN lineitem AS T2 ON T1.o_orderkey = T2.l_orderkey ORDER BY T1.o_totalprice DESC LIMIT 10