Subject: Re: printf() using floating point ...
To: None <bakul@netcom.com>
From: Charles M. Hannum <mycroft@ai.mit.edu>
List: tech-kern
Date: 06/14/1995 15:38:09 
   Something Charles said made me think this is already being
   done (at least in the x86 port)?

It is.  When only one FP-intensive program is running (the `usual'
case on an i386), this gives a small performance gain.  When most
programs are using the FPU, it gives a net performance loss.  I'm not
sure where the cutoff is.