[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

floating-point format



Decimal rounding of the digits printed, and tie-breaking according to
system-dependent standards (IEEE for us) sounds reasonable to me.