[algorithmsRcool]

At a glance this reads similar to Interval Arithmetic in that it places bounds on how much error a value carries.

Is there something more novel to his approach?

https://en.wikipedia.org/wiki/Interval_arithmetic

[mark-r]

I think the novel part is in the encoding of the error in the bits of the value. It's hard to see how much value this patent really holds.