One thing we can do is to make it clear that we are not covering the entire IEEE standard. We don't care about infinities and NaN's I would think too much, and we certainly don't care about odd operations like unordered comparisons, and we certainly don't care about odd rounding modes.