On Wednesday, 29 July 2015 22:07:45 UTC+1, Steven G. Johnson wrote: > > And I don't see a clear practical use-case for an inexact bit per value, > as opposed to a single inexact flag for a whole set of computations (as in > IEEE). >
Probably not quite what others had in mind, but an instruction-specific inexact flag (and rounding mode) would make it possible to implement round-to-odd fairly neatly (e.g., see here <http://www.exploringbinary.com/gcc-avoids-double-rounding-errors-with-round-to-odd/>), which would in turn allow implementing all the "formatOf" operations in the IEE754-2008 standard.