It shouldn't, really. It'll only invalidate results that a) rely on this bug, and b) haven't been formally proven any other way. It is a valid concern when t

It shouldn't, really. It'll only invalidate results that a) rely on this bug, and b) haven't been formally proven any other way. It is a valid concern when talking about theorem provers, though.