Earlier quoted context omitted.
Likewise! FYI the actual paper is https://ieeexplore.ieee.org/document/8425212 and you can get the PDF here: http://pdinda.org/Papers/ipdps18.pdf
Interestingly, they got one of their own answers wrong. The question is: if a and b are numbers, it is always the case that (a + b) == (b + a) and their notes on it: Is a simple statement involving the commutativity over addition true for floating point? Generally, floating point arithmetic follows the same commutativity laws as real number arithmetic. They make it clear in their notes that "are numbers" includes inf…
Nice catch.
> They make it clear in their notes that "are numbers" includes infinities but not NaNs.
This is definitely not very clear on the form, thought.