by Baker » Thu Dec 27, 2012 4:05 am 
			
			I just discovered printf "%g".  I swear I've read printf formatting docs a million times.
It is rather difficult to identify which version of C it became a standard, so maybe this format specifier didn't always exist or something. 
%g prints a float, but without the superfluous zeros 1.000000000000000000000
/Strange that I had to clear cookies in browser to log-in to this site successfully.  Without doing so, I got logged out immediately any time I tried in the last few days, and a crapton of PHP header "already included" stuff appears atop the page.
			The night is young.  How else can I annoy the world before sunsrise?  

  Inquisitive minds want to know !  And if they don't -- well like that ever has stopped me before ..