> Some machine's don't really have single float hardware, instead
> rounding from double float.
I'm not sure that's relevant: all machines can mimic single float
(i.e. the double hardware can do single rounding after every operation).
I'd be more interested in hearing how big a user base double-precision
floats really have. Are many scientific data sets encoded using doubles?
For the record, I'd wouldn't mind requiring double-precision floats
but only 32-bit integers. Minimal implementations of such a spec could
use a single homogeneous representation for numbers in that case.
-rob