But it's only 86K stripped (:-). Aside from alignment and header overhead,
the easiest way to answer your question is to type `nm -s a.out'. You'll
get some interesting results, e.g. 37K devoted to powers of two and ten.
Most of the overhead is floating point conversion routines, which typically
can be accurate, fast, or small, or any two out the three, but not all three
simultaneously. If you look carefully, you'll find other minor
inefficiencies, but the main culprit is floating point.

To put some perspective on this, I'd guess 86K of main memory now costs less
than what 86 bytes cost back when Unix was designed (in constant dollars).
--