On Sat, Jun 16, 2007 at 11:08:19AM -0400, Richard Heck wrote: > > - There are two more places where a floating point division may be > > useful. > Yes. Surprising no bug reports about that one, as it'll give the same > problem. But anyway, > we should just have:
Yes. Possibly, limiting the precision to two decimal digits, as in the other case. -- Enrico