> It seems like a great big accumulator is a solution that is fairly independent from the floating point format.

It could still be a good idea to mandate a standard version in the spec for consistent behavior.