> It seems wasteful to cool the air from over 30C to 20C, just to have nearly everyone wear heavier clothing, instead of cooling it to something like 22C where everyone can use normal street clothes.

Oh I agree, I was talking (not clearly), from my own context where we don't have to cool the office, but heat it, in that case it's the efficient choice.